作者TubularBells ( )
看板logic
標題[請益] 矛盾
時間Mon Dec 28 23:32:40 2009
1. P -> Q
2. P -> not Q
一個論證推論出這兩個，算矛盾嗎？
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.27.198.172
1F：推 luciferii:否 12/28 23:47
2F：→ luciferii:這只代表 P 是恆不成立的 12/28 23:48
3F：→ ksmrt0123:L大說的沒錯. 我怕原po還有疑問所以補充一下 12/29 18:34
4F：→ ksmrt0123:這就是我們在「反證法」採用的方法: 12/29 18:35
5F：→ ksmrt0123:先假設P成立 然後推導出(1)P->Q及(2)P->not Q 12/29 18:37
6F：→ ksmrt0123:這時我們會寫「故矛盾」, 因此P是不成立的 12/29 18:39
7F：→ ksmrt0123:上句的意義就是L大所說的那樣 12/29 18:40
8F：→ ksmrt0123:hmm.. 好像沒有比較清楚 原po有興趣看一下反證法好了: 12/29 18:44
10F：推 ivanos:樓上你說的反證法弄反了 12/29 20:57
11F：推 ksmrt0123:為了配合原po的寫法 12/29 23:39