[請益] 請問一題邏輯問題(急)

看板logic作者 (jodaway)時間13年前 (2012/10/03 19:40), 編輯推噓1(1推 0噓 4→)
留言5則, 3人參與, 最新討論串1/1
1. (Ex)Ax -> (x)Bx 2. ~Aa or ~Ba / ~Aa (前面的(Ex)是特稱的意思，因為我不會打 倒E) 請問各位大大這題怎麼解@@? 謝謝! -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 118.233.158.2
→
10/03 23:04, , 1F
可以試試看反證法!
10/03 23:04, 1F
→
10/04 22:20, , 2F
感謝樓上大大 最後我用歸謬法大致證出(不知道程序合不合規
10/04 22:20, 2F
→
10/04 22:21, , 3F
定)
10/04 22:21, 3F
推
10/24 17:54, , 4F
很晚才看到,你大概不需要了,還是回一下xD
10/24 17:54, 4F
→
10/24 17:56, , 5F
你只要將結論否定後,與兩個條件合併起來,證明它們矛盾即可
10/24 17:56, 5F
‣ 更多 jodawa 的文章
文章代碼(AID): #1GR2GsSe (logic)