批踢踢實業坊
›
看板
logic
關於我們
聯絡資訊
返回看板
作者
jodawa (jodaway)
看板
logic
標題
[請益] 請問一題邏輯問題(急)
時間
Wed Oct 3 19:40:33 2012
1. (Ex)Ax -> (x)Bx 2. ~Aa or ~Ba / ~Aa (前面的(Ex)是特稱的意思,因為我不會打 倒E) 請問各位大大這題怎麼解@@? 謝謝! --
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.233.158.2
→
maibells0
:可以試試看反證法!
10/03 23:04
→
jodawa
:感謝樓上大大 最後我用歸謬法大致證出(不知道程序合不合規
10/04 22:20
→
jodawa
:定)
10/04 22:21
推
teves
:很晚才看到,你大概不需要了,還是回一下xD
10/24 17:54
→
teves
:你只要將結論否定後,與兩個條件合併起來,證明它們矛盾即可
10/24 17:56