命题逻辑

研究由原子命题经命题连接词构成的复合命题以及这些命题之间的逻辑关系的科学。又称命题演算,数理逻辑的分支学科。这里所说的命题包括具有真假值的命题,也包括形式命题。设a,b是原子命题,则使用命题连接词、∧、∨、→和 ......    （本文共 609 字 ）     [阅读本文] >>