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