充分必要条件

在逻辑学中：

• 当命题「若 A 則 B」为真时，A 称为 B 的充分条件。
• 当命题「若 B 則 A」为真时，A 称为 B 的必要条件。

因此：

• 当命题「若 A 則 B」與「若 B 則 A」皆为真时，A 是 B 的充分必要条件（简称充要条件），同时，B 也是 A 的充分必要条件。
• 当命题「若 A 則 B」为真，而「若 B 則 A」为假时，我们称 A 是 B 的充分不必要条件，B是A的必要不充分条件，反之亦然。

==舉例== 1. 若 A 表「人類生存」，B 表「人類呼吸」： :此時呼吸是生存的必要條件，生存是呼吸的充分條件，因为活着的人一定要呼吸， :然而呼吸并非生存的充分条件，生存并非呼吸的必要条件，因為只會呼吸並不足以讓人生存下去， :故 A 为 B 的充分不必要条件。 2. 若 A 表「我打過他」，B 表「他被我打過」： :此時這2個條件互為充分必要条件。

相关条目

• 前件
• 后件
• 实质条件
• 当且仅当