[請益] 矛盾

[TubularBells ( )]

1. P -> Q

2. P -> not Q


一個論證推論出這兩個，算矛盾嗎？


--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 114.27.198.172
推 luciferii:否
→ luciferii:這只代表 P 是恆不成立的
→ ksmrt0123:L大說的沒錯. 我怕原po還有疑問所以補充一下
→ ksmrt0123:這就是我們在「反證法」採用的方法:
→ ksmrt0123:先假設P成立 然後推導出(1)P->Q及(2)P->not Q
→ ksmrt0123:這時我們會寫「故矛盾」, 因此P是不成立的
→ ksmrt0123:上句的意義就是L大所說的那樣
→ ksmrt0123:hmm.. 好像沒有比較清楚 原po有興趣看一下反證法好了:
→ ksmrt0123:http://en.wikipedia.org/wiki/Proof_by_contradiction
推 ivanos:樓上你說的反證法弄反了
推 ksmrt0123:為了配合原po的寫法