[請益]再問反證法

看板logic作者 (sky)時間16年前 (2007/12/28 13:00), 編輯推噓2(200)
留言2則, 2人參與, 最新討論串1/1
我看高中數學課本寫的是假定p的,但是q是不對的然後逐步推演,然後得到與已知 相矛盾的結果 EX 已知n為正整數。證明 n^2為奇數,則 n必為奇數 假定 ~q 所以n為偶數 則 n = 2k 得到n^2 = (2k)^2 = 4k^2 但4k^2為偶數與假設矛盾 所以n為奇數。 我知道若 p 則 q.........~q 則 ~p 若 媽媽 則 女人.....非女人 則 非媽媽 以反證法來說的話 一開始假定 非女人 逐步推演得到 非媽媽與假設矛盾 所以所以媽媽是女人 我的疑問就是~q 推論本來就會得到~p 從哪一點來說p 則 q 呢? 不知道哪裡可以說是得証呢 勞煩指導~ <(_ _)> -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 123.192.104.227

01/01 11:36, , 1F
因為P->Q與~Q->~P的真值表完全相同...
01/01 11:36, 1F

02/11 03:06, , 2F
寫成"(~p v q)"會不會比較好理解???
02/11 03:06, 2F
文章代碼(AID): #17T8BSN_ (logic)