看板 logic 關於我們 聯絡資訊
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