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