作者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