摘要： 对上一节课的部分补充，mindmap其实是同一个版本，就是加了一点点内容。 mindmap地址http://www.xmind.net/share/_embed/atskyline/predicates-and-quantifiers-2/ 先说上一次留下那个个关于命题函数与谓词公式的关系问题。解释如下 命题函数是具体的一个命题如X是整数，而谓词是对他的一个抽象化，符号化，如P(x)。这样才有办法进行数学的逻辑推理运算。 这次增加的东西，不过是一堆类似于命题公式的，谓词公式的一些永真公式。具体的要记忆下来是在非常麻烦。 另外还有一句话 在命题演算中和谓词演算中的等价式蕴涵式是指 命题... 阅读全文