发表于2024-12-29
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 电子书