文章目录
A、什么是命题
用语言、符号或表达式,可以 判断真假 的陈述句叫做 命题。
判断真的叫 真命题
;判断假的叫 假命题
。
B、四种命题及其关系
B1. 原命题 (若p,则q)
B2. 逆(反)命题 (若q,则p)
B3. 否命题 (若非p,则非q)
¬ p 则 ¬ q \neg p \text{则} \neg q ¬p则¬q
B4. 逆否命题 (若非q,则非p)
¬ q 则 ¬ p \neg q \text{则} \neg p ¬q则¬p
B5. 关系
B5a. 互逆关系
原 ↔ 逆 原 \leftrightarrow 逆 原↔逆
否 ↔ 逆 否 否 \leftrightarrow 逆否 否↔逆否
B5b. 互否关系
原 ↔ 否 原 \leftrightarrow 否 原↔否
逆 ↔ 逆 否 逆 \leftrightarrow 逆否 逆↔逆否
B5c. 互为逆否关系
原 ↔ 逆 否 原 \leftrightarrow 逆否 原↔逆否
否 ↔ 逆 否 \leftrightarrow 逆 否↔逆
互为逆否关系的两个命题之间,具有相同的真假
C、条件关系
若