作者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
1F：→ maibells0:可以試試看反證法! 10/03 23:04
2F：→ jodawa:感謝樓上大大 最後我用歸謬法大致證出(不知道程序合不合規 10/04 22:20
3F：→ jodawa:定) 10/04 22:21
4F：推 teves:很晚才看到,你大概不需要了,還是回一下xD 10/24 17:54
5F：→ teves:你只要將結論否定後,與兩個條件合併起來,證明它們矛盾即可 10/24 17:56