作者daiYuTsung (daiYuTsung)
看板NTUMath91
标题[讨论] 逻辑丙
时间Tue Jan 6 23:20:08 2004
大家可以看 陈建文,庄宗颖的笔记,
如果看 郑朝宇 的印影书的人请注意:
全称量词 也就是 "对於所有x...." 请写成 "(x)...."
存在量词 也请用括号括起来
此外请写的和书上尽量一模一样......
这次除了18条之外,又多了DN,EI,UI,EG,UG,RSI,Id请大家熟悉.
还有这次自然演绎法可以一次用4条规则,请多利用.
如果不确定自己写的会不会被扣分,可以看完书後做一些练习题再拿给
我,陈建文,庄宗颖,陈中伟,林金毅...等人看看有没有错.
实在不知道还有什麽可以说的,不过如果有什麽人问了一些很典型的问题,
我会再Po上来.大家加油吧!
Qman
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.167.24.195
1F：→ Wush978:谢谢Qman~~~ 推 61.224.128.57 01/07
2F：→ LimSinE:SRI 推 61.70.211.116 01/07
3F：→ Arabica:Q-man真是救星啊...... 推 218.160.27.80 01/08