作者WaitingKid (W.K.)
看板NTU-Exam
标题[试题] 100下 彭孟尧 基本逻辑(下) 期中考
时间Thu Apr 19 16:00:36 2012
课程名称︰基本逻辑下
课程性质︰哲学系必修课程教师︰彭孟尧
开课学院：文学院
开课系所︰哲学系
考试日期（年月日）︰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)
1F：推 serinasky :标题是100下吗？ 04/19 20:08
2F：→ WaitingKid :打错了= = 是100下没错 04/19 23:42
※ 编辑: WaitingKid 来自: 140.112.196.24 (04/19 23:48)