充分必要条件

维基百科,自由的百科全书
跳转至: 导航搜索

充分及必要條件sufficient and necessary condition)簡稱「充要條件」。

逻辑学中:

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

因此:

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

必要條件[编辑]

P是Q的必要條件,代表「如果Q是真,則P是真」或「如果P是假,則Q是假」。

邏輯符號表示:

~P → ~Q

要注意 ~P → ~Q 不可以推出 P → Q。

充分條件[编辑]

P是Q的充分條件,代表「如果P是真,則Q是真」或「如果Q是假,則P是假」。

邏輯符號表示:

P → Q

必要條件及充分條件[编辑]

P是Q的充分及必要條件,代表「當且僅當P是真,則Q是真」。

邏輯符號表示:

P ↔ Q

留意 ~P → ~Q 可以推出 Q → P。

(~P → ~Q) & (P → Q)
(Q → P) & (P → Q)
P ↔ Q

舉例[编辑]

1.若A表「人類生存」,B表「人類呼吸」

~B → ~A
A → B
此時呼吸是生存的必要條件,生存是呼吸的充分條件,因为活着的人一定要呼吸,
B → A (錯誤)
然而呼吸并非生存的充分条件,生存并非呼吸的必要条件,因為只會呼吸並不足以讓人生存下去,
故A为B的充分不必要条件,B是A的必要不充分条件

2.若A表「我打過他」,B表「他被我打過」

A ↔ B
此時這2個條件互為「充分(且)必要条件」。[1]

相关条目[编辑]

有效論證[编辑]

無效論證[编辑]

腳注[编辑]

  1. ^ 充分條件 Sufficient Condition. 國家教育研究院. 新北市三峽區: 中華民國教育部.