※ 引述《ewn (nwe)》之銘言：
: 我知道是充分、必要
: 但我不知道有何差別
: 可以簡單解釋一下嗎
: 謝謝
p => q 為真時
p 稱為 q 之充分條件, q 稱為 p 之必要條件
若 p => q 且 p <= q 為真, 或寫作 p <=> q
則稱 p 為 q 之充要條件.
p => q 之真值表
p T F
q
T T T
F F T
也就是若在 p => q 為真之前提下,
若 p 為真, 則 q 必然為真. 故稱 p 為 q 之充分條件.
同樣的, 若欲使 p 為真, 唯一之情況為 q 為真, 故 q 為 p 之必要條件.
反過來說, 當 q 為真時, 無法直接確定 p 之真偽, 故 q 不為 p 之充分或必要條件.
接著你可以自己畫出 p <= q 之真值表, 並與前面的 p => q 做 AND 運算得出
p <=> q 之真值表:
p T F
q
T T F
F F T
也就是在 p <=> q 為真時,
若 p 為真, 則 q 必然為真, 反之亦然.
故在 p <=> q 成立時, 稱 pq 互為充要條件.
--
鬼壓床怎麼辦
騎上去啊
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.212.129