推 gg30: 柯P有P P為真 03/02 20:20
→ Greentale: 正命題為真，逆命題不一定是假。 03/02 20:21
推 u06m4rmp4: 何不簡化成 小明：「我說謊」 小明有沒有說謊呢 03/02 20:25
推 rick6304: ~P真阿 03/02 20:26
→ vul3c96: 由 ~q與p 無法共生 故 p:q 為真 03/02 22:38
※ 引述《Rimi5566 (里美56)》之銘言：
: 給命題p和非p 兩者之中有一為真
: p為真 非p即假
: 所以假若非p為真 推理出矛盾
: 反證法成立 則p為真
p：q這句話是真的
q：p這句話是假的
要如何知道 p和~p中有一為真? 我想不出來 傷腦筋耶!
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 124.11.226.34
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1425298747.A.425.html