A Modern Formal Logic Primer 在线电子书 图书标签: 逻辑与语言 自然推演 树方法 数学归纳法 完全性 Koneig
发表于2024-12-25
A Modern Formal Logic Primer 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
教科书界良心,太好懂,老头子偶尔还开个玩笑,题目设计的也合理。大爱~
评分教科书界良心,太好懂,老头子偶尔还开个玩笑,题目设计的也合理。大爱~
评分两卷本 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 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024