2022年6月
消解法
摘要： 阅读全文
posted @ 2022-06-19 15:23 cxxn 阅读(10) 评论(0) 推荐(0)
命题逻辑的基本概念 思维导图
摘要： 阅读全文
posted @ 2022-06-19 15:18 cxxn 阅读(57) 评论(0) 推荐(0)
2022年4月
集合的基本概念 思维导图
摘要： 阅读全文
posted @ 2022-04-29 13:06 cxxn 阅读(152) 评论(0) 推荐(0)
谓词逻辑的历史
摘要： 亚里士多德的逻辑，尤其是他的三段论理论，对西方思想史产生了无与伦比的影响。它并不一直保持这种地位：在希腊化时期，斯多葛式的逻辑学(Stoic logic)，尤其是克莱斯皮普斯(Chrysippus)的著作占据了上风。但是，在后来的上古时期，随着亚里士多德评论家们的努力，亚里士多德的逻辑成为主流，亚里 阅读全文
posted @ 2022-04-07 23:35 cxxn 阅读(58) 评论(0) 推荐(0)