作者daiYuTsung (daiYuTsung)
看板NTUMath91
標題[修正][公告] 邏輯丙
時間Thu Oct 30 22:58:19 2003
※ 引述《daiYuTsung (daiYuTsung)》之銘言：
消息來源指出:邏輯丙期中考在11月7日考至142頁
以下是要交的作業(10%)(10月13日交):
現有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
W->T
T->~P /∴ ~P
作業是判斷以上兩論證是否有效.
請正確使用標點,否則酌量扣分.
======End Of File=========
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.50.135
1F：→ hohow:10/13要交@@~~~不是過了嗎?? 推 219.80.4.248 10/25
2F：→ ttoyou:糟糕........Q____Q 推140.112.244.118 10/25
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.160.47.134