充分必要条件
维基百科，自由的百科全书
（重定向自充分條件）
在逻辑学中：
- 当命题「若 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 表「人類呼吸」：
- 此時呼吸是生存的必要條件，而生存是呼吸的充分條件，
- 然而他們互相不是充分必要條件，因為只會呼吸並不足以讓人生存下去
2. 若 A 表「我打過他」，B 表「他被我打過」：
- 此時這2個條件他們互相為充分必要条件。
