1、1.1 命题与联结词命题与联结词1.2 命题变元和合式公式命题变元和合式公式1.3 公式分类与等价公式公式分类与等价公式1.4 对偶式与蕴涵式对偶式与蕴涵式1.5 联结词的扩充与功能完全组联结词的扩充与功能完全组1.6 公式标准型公式标准型范式范式1.7 公式的主范式公式的主范式1.8 命题逻辑的推理理论命题逻辑的推理理论表 1.1.1 的定义PP1001表 1.1.2 的定义P QPQ0 00 11 01 10001表表 1.1.3 的定义的定义P QP Q0 00 11 01 10111表表 1.1.4 的定义的定义P QPQ0 00 11 01 11101表表 1.1.5 的定义的定义P
2、 QPQ0 00 11 01 11001P QP Q P Q P Q P Q0 00 11 01 11 1 0 01 0 0 11 0 1 10 0 0 0222P QF TP QP Q P QP QP QP Q0 00 11 01 10000111100110101110010100001111001111000所用所用的联的联结词结词 序号序号12345678910续表P QPQP QPQP QQPQ P0 00 11 01 1110100101001011010110100所用所用的联的联结词结词 序号序号111213141516 表表 1.7.1 两个命题变元的小项真值表两个命题变元的
3、小项真值表m(二二) m00 m01 m10 m11P Q P Q P Q P Q P Q0 0 1 0 0 00 1 0 1 0 01 0 0 0 1 01 1 0 0 0 1m(+) m0 m1 m2 m3 表表1.7.2 3个个命命题题变变元元的的小小项项真真值值表表m(二二)m000m001m010m011P Q R P Q R P Q R P Q R P Q R0 0 010000 0 101000 1 000100 1 100011 0 000001 0 100001 1 000001 1 10000m(+)m0m1m2m3 续表续表m(二二)m100m101m110m111P Q RP Q RP Q RP Q RP Q R0 0 000000 0 100000 1 000000 1 100001 0 010001 0 101001 1 000101 1 10001m(+)m4m5m6m7ni 1表表 1.7.3 两个命题变元的大项真值表两个命题变元的大项真值表M00M01M10M11M(二二) Mi I(Mi)P QP QP Q P Q P Q0 00 11 01 10111101111011110M(+)M0M1M2M31jm2jmknjm21jm2jmknjm21jm2jmknjm21jm2jmknjm21jm2jmknjm21jM2jMknjM2
