数理逻辑是研究推理的数学学科，它首先完成是对现象的一种符号化处理，基于符号化处理，它在将着重于推理过程以及推理的结果。

  命题：

  称所表达的判断式真或假但不能可真可假的陈述句为命题。

  命题的符号化：

  一般使用小写字母p、q、r、s来表示简单的陈述句命题。在这些陈述句中均无连接词出现，称它们为简单命题或原子命题。从自然语法的角度来讲，原子命题就是一些单句，没有“如果…那么…”这种关联词的，那么相对的，有了这种“联接词”，就称为符合命题。

  下面介绍很常见的几种联结词。

  命题逻辑的等值运算：

  其实给出联结词的时候，可能你就已经发现，它们的概念其实和集合论中我们所说的交、并、补的概念很类似，下面给出的等值运算律，其实与集合运算律也质同的。

《离散数学》-命题逻辑-等值运算公式