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