直言命题(复言命题)关系

直言命题相互关系 关系 命题 全同真包含于真包含交叉全异全异 全称肯定命题 所有 S 是 P 真真真假假假假 全称否定命题 所有 S 不是 P 假假假假真真 特称肯定命题 有的 S 是 P 真真真真假假 特称否定命题特称否定命题 有的 有的 S 不是不是 P 假假假假真真真真真真 直言命题变形推理 变形推理变形推理 变形推理前变形推理前变形推理后变形推理后有效性有效性 所有 S 是 P所有 S 不是非 P 有效 所有 S 不是 P所有 S 是非 P有效 有些 S 是 P有些 S 不是非 P 有效 换质推理换质推理 有些 S 不是 P有些 S 是非 P有效 所有 S 事 P有些 P 事 S有效 所有 S 不是 P 所有 不是 有效 有些 是 有些 是 有效 换位推理换位推理 有些 不是 有些 不是 有效 周延性 量项是全称则为主动周延 量项是特称则为主项不周延 联项是否定的则谓项周延 联项是肯定的则谓项不周延 对当关系 对当关系命题特点 所有 都是 与 有些 不是 所有 都不是 与 有些 是 矛 盾 关 系 某个 是 与 某个 不是 必有一真一假 所有 都是 与 所有 都不是 所有 都是 与 某个 不是 反 对 关 系 所有 都不是 与 某个 是 不能同真 必 有一假 但可 同假 有些 是 与 有些 不是 某个 不是 与 有些 是 下 反 对 关 系 某个 是 与 有些 不是 不能同假 必 有一真 可同 真 从 属 关 系 全称肯定 否定 命题 单称肯定 否定 命 题 特称肯定 否定 命题 全称真则特称真 特称假则全称假 复言命题及其推理 各种复言命题的真假关系与推理规则 命题类型真假关系推理规则负命题 联言命题 且 一假即假 全真才真命题真推支命题真 所有 支命题真推命题真 非 或非 相容选言命 题 或者 或者 一真即真 全假才假肯定一部分不能否定另一 部分 否定一部分 可以 肯定另一部分 非 且非 不相容选言 命题 要么 要么 有且只有一真才为真肯定一个选言支 就否定 其余的选言支 否定一个 选言支意外的所有选言支 可以肯定未否定的选言支 且 或者 非 且非 充分条件假 言命题 如 果 那么 只有前件真后件假才为 假 肯定前件就否定后件 否定后件就能否定前件 否定前件不能否定后件 肯定后件不能肯定前件 且非 必要条件假 言命题 只 有 才 Q 只有前件假后件真才为 假 否定前件就能否定后件 肯定后件就能肯定前件 肯定前件不能肯定后件 否定后件不能否定前件 非 P 且 Q 充要条件假 言命题 当 且仅当 P 才 Q 前件与后件同真假则为 真 前件与后件不同真 假则为假 肯定前件就能肯定后件 否定前件就能否定后件 肯定后件就能肯定前件 否定后件就能否定前件 非 P 且 Q 或 P 且非 Q 负命题 并 非 P 原命题为真则为假 原 命题为假则为真 肯定原命题就否定负命题 否定原命题就肯定负命题 P 复言命题转换关系 如果 P 那么 Q 只有 才 非 或 Q 只有 P 才 Q 如果 Q 那么 P P 或者非 Q 除非 P 否则 Q 若果非 P 那么 只有 P 才非 Q 假言命题连锁推理 充分条件假言连锁推理必要条件假言连锁推理 如果 P 那么 Q 如果 Q 那么 R 如果 P 那么 R 只有 才 只有 才 R 只有 P 才 R 二难推理 简单构成式简单破坏式复杂构成式复杂破坏式 如果 那么 如果 那么 如果 那么 Q 如果 Q 那么