简易逻辑反证法.ppt

* 一、命题的有关概念 1.命题 可以判断真假的语句. “非 p”形式的复合命题与 p 的真假相反; 2.逻辑联结词 “或”、“且”、“非”. 3.简单命题 不含逻辑联结词的命题. 4.复合命题 含有逻辑联结词的命题. 5.复合命题真值表 “p 或 q”形式的复合命题当 p 与 q 同时为假时为假, 其它情形为真; “p 且 q”形式的复合命题当p 与q同时为真时为真, 其它情形为假. 真 假 假 真 非 p p 假 假 假 真 真 假 真 假 真 真 真 真 p 或 q q p 假 假 假 假 真 假 假 假 真 真 真 真 p 且 q q p 二、命题的四种形式 逆否命题: 若?q, 则?p. 原命题: 若 p, 则 q; 逆命题: 若 q, 则 p; 否命题: 若?p, 则?q; 互逆 互逆 互 否 互 否 否命题 若?p 则?q 逆否命题 若?q 则?p 原命题 若 p 则 q 逆命题 若 q 则 p 互 为 逆 否 否 逆 为 互 注: