谓词逻辑

为了解决命题之间的关系，需要用到谓词逻辑

谓词逻辑基本概念

$$P(x)$$

个体词 与 谓词

量词

指向原始笔记的链接

项

原子公式

谓词公式

命题变元

闭式

谓词公式的规则

前束范式

谓词逻辑的推理理论