摘要： 想先抱怨一下教授的PPT是逻辑混乱的，所以也在一定程度上导致他的讲课内容在逻辑上不是那么连贯。 我自己把内容整理了一下，加入了很多自己的理解，应该是很不规范严谨了，但是为了理解简单，也就先这样吧。 这次不能直接放图，图没能把所有的逻辑关系表达清楚，需要一些文字的补充。 先给图的地址http://www.xmind.net/share/_embed/atskyline/predicates-and-quantifiers-1-1/ 首先从上次的命题逻辑说起，命题是一个有明确真值的陈述句。这里有一个问题，一句陈述句太长了，以它为基本单位很多事情没办法分析。比如最著名的苏格拉底三段论。 人... 阅读全文