作者clifflu (缺钱啦 @@)
看板logic
标题Re: [请益] 何谓充要条件
时间Fri Aug 19 12:56:12 2005
※ 引述《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