發表於2024-11-27
A Modern Formal Logic Primer 2024 pdf epub mobi 電子書 下載
圖書標籤: 邏輯與語言 自然推演 樹方法 數學歸納法 完全性 Koneig
教科書界良心,太好懂,老頭子偶爾還開個玩笑,題目設計的也閤理。大愛~
評分教科書界良心,太好懂,老頭子偶爾還開個玩笑,題目設計的也閤理。大愛~
評分兩捲本 p143,“2 | (∀x)(x = x) 2,∀I”中“2”或應改為“1”; p144,帶有a和b帶有“^”的“ab⊃(Fa ⊃ Fb)”中“ab”或應改為“a = b” p217圖,根據下文"Each branch through the third line represents one of the eight possible truth value assignments to 'A,', 'A2', and 'As'""Branch (3) represents 'Al' true, 'A2' false, and 'A3' true. And so on",第二個和第四個A2或少瞭個否定符號
評分兩捲本 p143,“2 | (∀x)(x = x) 2,∀I”中“2”或應改為“1”; p144,帶有a和b帶有“^”的“ab⊃(Fa ⊃ Fb)”中“ab”或應改為“a = b” p217圖,根據下文"Each branch through the third line represents one of the eight possible truth value assignments to 'A,', 'A2', and 'As'""Branch (3) represents 'Al' true, 'A2' false, and 'A3' true. And so on",第二個和第四個A2或少瞭個否定符號
評分兩捲本 p143,“2 | (∀x)(x = x) 2,∀I”中“2”或應改為“1”; p144,帶有a和b帶有“^”的“ab⊃(Fa ⊃ Fb)”中“ab”或應改為“a = b” p217圖,根據下文"Each branch through the third line represents one of the eight possible truth value assignments to 'A,', 'A2', and 'As'""Branch (3) represents 'Al' true, 'A2' false, and 'A3' true. And so on",第二個和第四個A2或少瞭個否定符號
A Modern Formal Logic Primer 2024 pdf epub mobi 電子書 下載