##### 条件命题 - 条件命题 - **条件命题**是[[命题逻辑]]中的一种[[命题|复合命题]], 表示如果则的逻辑关系, 通常用[[逻辑联结词|蕴含联结词]]表示 - 逆命题: $q\rightarrow p$ - 否命题: $\neg p\rightarrow \neg q$ - 逆否命题: $\neg q\rightarrow \neg p$ - 如果有 $p$ 就有 $q$, 则 $p$ 是 $q$ 的充分条件 - 如果 $p$ 是 $q$ 不可缺少的条件, 即无 $p$ 就无 $q$, 则 $p$ 是 $q$ 的必要条件 - 如果有 $p$ 就有 $q$,无 $p$ 就无 $q$, 则 $p$ 是 $q$ 的充分必要条件