作者daiYuTsung (daiYuTsung)
看板NTUMath91
标题[最新版][公告] 逻辑丙
时间Fri Oct 31 16:42:17 2003
呜~呜~呜~,公告一改再改......我对不起大家.....
: 消息来源指出:逻辑丙期中考在11月7日考至142页
消息来源说他日期记错了>_<,
根据老师最新的公布,期中考在11/28,12/5,12/12三天由同学投票表决.
内容考至"自然演绎法",不过消息来源说"考至142页"应该没错....
作业下星期也可以交,没交的要快.....
作业又改正过了....这次应该不会有错.
如果觉得自己写得不好,下次可以重交.
==================以下是要交的作业(10%)(11月7日交)======================
现有Protagoras,Euathlus两人,分别有两个推论如下:
Protagoras的推论:
Define
W:=Protagoras赢
L:=Protagoras输
S:=Euathlus赢 '这是打错的地方
P:=Euathlus付学费
论证内容
W or L
W->P
L->S '这是打错的地方
S->P /∴ P
Euathlus的推论:
Define
W:=Euathlus赢
L:=Euathlus输
T:=Protagoras赢
P:=Euathlus付学费
论证内容
W or L
W->~P
L->T '这是打错的地方
T->~P /∴ ~P
作业是判断以上两论证是否有效.
请正确使用标点,否则酌量扣分.
=============================以上是要交的作业=================================
真的很不好意思.....我下次上逻辑丙不会再迟到或睡觉了.......
戴淯琮
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.50.189