摘要
逻辑学是以思维形式为主要研究对象的科学。普通逻辑研究思维形式是研究某一思维形式的真假逻辑特征和各种思维形式之间的真假逻辑关系。就这一方面而论,命题这一思维形式表现更为明显,不管是简单命题还是复合命题均如此。某一复合命题的真假逻辑特征和复合命题之间的真假逻辑关系的判定,目前逻辑学界普遍借助于一种图表——真值表,这种真值表包括命题变项的真假情况组合部分和在命题变项的某种组合下,复合命题逻辑特征所显示的真假值部分。例如,要判定p∧q的真假值,可作真假表如下:(我们用“1”表示“真”,用“0”表示“假”)
