「形式邏輯筆記/第四章」修訂間的差異
跳至導覽
跳至搜尋
Tankianting（討論 | 貢獻） （建立內容為「Ch4 量化邏輯 有時稱爲謂詞邏輯 (predicate logic)，」的新頁面） |
（無差異）
|
於 2022年6月12日 (日) 01:59 的修訂
Ch4 量化邏輯
有時稱爲謂詞邏輯 (predicate logic)，