[請益] 矛盾

看板logic作者 ( )時間16年前 (2009/12/28 23:32), 編輯推噓3(3推 0噓 8→)
留言11則, 3人參與, 最新討論串1/2 (看更多)
1. P -> Q 2. P -> not Q 一個論證推論出這兩個，算矛盾嗎？ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 114.27.198.172
推
12/28 23:47, , 1F
否
12/28 23:47, 1F
→
12/28 23:48, , 2F
這只代表 P 是恆不成立的
12/28 23:48, 2F
→
12/29 18:34, , 3F
L大說的沒錯. 我怕原po還有疑問所以補充一下
12/29 18:34, 3F
→
12/29 18:35, , 4F
這就是我們在「反證法」採用的方法:
12/29 18:35, 4F
→
12/29 18:37, , 5F
先假設P成立 然後推導出(1)P->Q及(2)P->not Q
12/29 18:37, 5F
→
12/29 18:39, , 6F
這時我們會寫「故矛盾」, 因此P是不成立的
12/29 18:39, 6F
→
12/29 18:40, , 7F
上句的意義就是L大所說的那樣
12/29 18:40, 7F
→
12/29 18:44, , 8F
hmm.. 好像沒有比較清楚 原po有興趣看一下反證法好了:
12/29 18:44, 8F
推
12/29 20:57, , 10F
樓上你說的反證法弄反了
12/29 20:57, 10F
推
12/29 23:39, , 11F
為了配合原po的寫法
12/29 23:39, 11F
‣ 更多 TubularBells 的文章
文章代碼(AID): #1BEC-QWT (logic)
討論串 (同標題文章)
以下文章回應了本文：
請益
1
2
Re: [請益] 矛盾 Re: 矛盾
luciferii
16年前, 12/30
完整討論串 (本文為第 1 之 2 篇)：
排序： 最新先 | 最舊先 | 留言數
請益
1
2
Re: [請益] 矛盾 Re: 矛盾
luciferii
16年前, 12/30
請益
3
11
[請益] 矛盾 矛盾
TubularBells
16年前, 12/28
在新視窗開啟完整討論串 (共2篇)
‣ 更多 TubularBells 的文章
文章代碼(AID): #1BEC-QWT (logic)