推 serinasky :標題是100下嗎？ 04/19 20:08
→ WaitingKid :打錯了= = 是100下沒錯 04/19 23:42
※ 編輯: WaitingKid 來自: 140.112.196.24 (04/19 23:48)
課程名稱︰基本邏輯下
課程性質︰哲學系必修課程教師︰彭孟堯
開課學院：文學院
開課系所︰哲學系
考試日期（年月日）︰2012/4/19
考試時限（分鐘）：2小時
是否需發放獎勵金：是
（如未明確表示，則不予發放）
試題 :
＊本次考試為open book，請勿抄襲或抄錄講義。違者該題不計分
＊請將手機調至靜聲或關機，以免影響他人考試。
1.請證明以下命題邏輯的有效式(valid formulas)
(1) |=(PvQ)→(((P→R)^(Q→R))→R) (25分)
(2) |=(P→Q)三(~Q→~P) (25分)
2.請證明命題邏輯系統是真確的(sound) (30分)。
(答題時請清楚說明證明的重點，細節可以省略。
請勿抄襲講義，以自己理解的方式作答。)
3.請證明下列語法結果(20分)
~P→Q , P→Q ├ Q
可使用講義上的公設、以證明的定理、後設定理、衍生規則、以及下列兩定理：
(A)├ (~P→P)→P
(B)├ (~Q→~P)→((~P→Q)→(~Q→Q))
((A)與(B)不必再證明。)
※ 編輯: WaitingKid 來自: 140.112.196.24 (04/19 16:01)