[試題] 林照田邏輯丙93年上期中考

[yashi (下定決心)]

課程名稱︰邏輯丙
課程性質︰通識
課程教師︰林照田
開課系所︰
考試時間︰93/11/12

試題 :
一、定義：
1.語句
2.論証
3.有效的論証
4.妥當的論証
二、分類：
1.P→~P
2.P→(Q→P)
3.(P‧~P)→Q
4.(Pˇ~P)→Q
三、舉例：
1.前提與結論皆真的無效論証
2.有效但不妥當的論証
四、用真值表判斷以下論証是有效或無效？
(一) 1.p→q
     2.p /∴p‧q
(二) 1.(p‧q)→r /∴p‧(q→r)
五、用自然演繹法証明下列論証
(一)1.p→(q→r)
    2.r→s /∴p→(q→s)
(二)1.p→(qˇ~(rˇs))
    2.~s→r/∴~q→~p
(三)証明IE是多餘的
六、選言定式定理
p  q  r | f(p,q,r)=?
---------------------
T  T  T |  T
F  T  T |  T
T  F  T |  T
F  F  T |  T
T  T  F |  F
F  T  F |  F
T  F  F |  F
F  F  F |  T
七、用波蘭式寫出  (~p‧q)→(rˇ~s)

--
如果你覺得受傷了，
其實我也傷得重
我和你的差別
只在於一個是充滿期待的，
一個是沒有特別心
但，我無法預測你對我的期待

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 220.139.245.240
推 machineboy:精華區已經有了
推 yashi:這是我前幾天考的哎…
推 machineboy:對呀  因為前幾天已經有人波了
推 machineboy:232篇  而且我已收精華區
推 yashi:哎呀 我很笨蛋沒發現…
→ aeiouswallow:92上 期末考第五題題目裡有一NBA球隊 到那板323篇