作者gold97972000 (subway)
看板logic
标题[请益] 逻辑不太会 EI EU UI UG IP CP QN??
时间Sat Jan 3 05:08:52 2009
这这....这要怎麽做阿??
(一)
1.~(x)(Fx⊃~Gx) /∴(ヨx)(Fx．Gx)
(二)
1.(x)(Nx⊃Mx)
2.(ヨx)Nxˇ(ヨx)Mx /∴(ヨx)Mx
(三)
1.(ヨx)Fxˇ(ヨx)Gx
2.(x)~Fx /∴(ヨy)Gy
请会的帮个忙哩!!
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 210.66.168.15
1F：推 Hseuler:有规定要用自然演绎法吗 01/03 19:05
2F：→ krisnight:这应该自己念书啊 01/04 22:02
3F：→ gold97972000:就是没买书= = 大家说买书会浪费钱 01/05 07:07
4F：推 dementia:可以借阿 01/14 00:29
5F：推 luciferii:google is free. 不买书请自己另找方式用功。 01/14 01:03