→ kenshin528:阿...我拆錯了...sry 推 140.119.192.13 10/07
→ Nonplace:謝謝黃頌頌. :D 推 210.85.8.210 10/07
※ 引述《kenshin528 (感覺自己的寂寞)》之銘言：
: 那天你提的問題我突然想到另外一種解法
: 前提:復合語句可被分解成基本語句
: ~(A且B)=(~A)且(~B)
~(A & B) = ~A v ~B
這應該是根據De Morgan' Law。
用真值表檢視:
A | B | ~(A & B) = ~A v ~B
--------------------------------
T | T | F | T | F
T | F | T | T | T
F | T | T | T | T
F | F | T | T | T
: 若我有一雙不會飛的翅膀則我不會飛(若p則q)
: 把"我有一雙不會飛的翅膀(p)"加以分解成"我有一雙翅膀且翅膀不會飛"
: 則此句的否定為"我沒有翅膀且翅膀會飛(~p)"
所以此句的否定為"我沒有翅膀或翅膀會飛"
: 真值表
: p q 若p則q
: T T T
: T F F
: F T T
: F F F
P | Q | P->Q
--------------
T | T | T
T | F | F
F | T | T
F | F | T
這是單條件句的真值表。
前件真時後件必真,因此前後件均為真時,p->q為真;
前件真時後件必不假,因此前件真後件假時,p->q為假;
前件假時後件可真可假,因此前件假後件真時,p->q為真;
前件假時後件可真可假,因此前後件均為假時,p->q為真。
如果是雙條件句的話會是這樣:
P<->Q = (P->Q) & (Q->P)
P | Q | (P->Q) & (Q->P)
---------------------------
T | T | T T T
T | F | F F T
F | T | T F F
F | F | T T T
黃色那一排是雙條件句的真值狀態。
兩個單條件句的真值情形如上所述,
連言語句的真值情形是,如非兩者皆真,否則連言為假。
: 不過我好像記得復合語句不適合使用真值表?
任何語句都可以適用於真值表,
只要能夠正確地拆解一個語句。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.119.192.140