作者dontw (高董)
看板NTU-Exam
标题[试题] 102上 傅皓政 逻辑 期末考
时间Mon Jan 6 23:40:10 2014
课程名称︰逻辑
课程性质︰通识A4
课程教师︰傅皓政
开课学院：文学院
开课系所︰哲学系
考试日期（年月日）︰2014/1/6
考试时限（分钟）：90
是否需发放奖励金：是
（如未明确表示，则不予发放）
本文符号：
V:for all
3:for some
^:and
v:or
~:negation
试题 :
一、建构初阶逻辑语言（提示：包括符号和形构规则两个部分）。(10%)
(Construct a suitable language for first-order (or predicate) logic.
Hint:two parts involved, alphabets and formation rules.)
二、请将下列论证转换成三段论的论证形式，并以范恩图解的方法显示下列论正是
否为有效论证。(15%)
(Please transform the following ordinary argument into the forms
syllogism and use Venn diagran method to show whether they are valid or
not.)
(a) 有些狗是哺乳类
所有狗都是动物
----------------------
因此，有些哺乳类是动物
(b) 所有地球人都不是外星人
所有台北人都是地球人
---------------------------
因此，有些外星人不是台北人
(c) 所有桌子都不是椅子
有些椅子是木制的
------------------------
因此，有些桌子不是木制的
三、请以真植树法证明下列语法序列是否为有效论证，若为无效论证请显示其反例结构。
(20%)
(Please use tableaux system to prove whether each of the following
argument is valid and to specify a counterexample if it is invalid.)
(a) (Vx)(Px→Mx), (Vx)(Mx→~Sx) ├ (3x)(Sx^~Px)
(b) (3x)(3y)(Hx→Gxy), (Vx)Hx ├ (3x)(3y)Gxy
四、请将下列日常语言的语句翻译为初阶逻辑语言的表达式。(15%)
(Please teanslate the fowllowing sentences into first-order language
exprexxions.)
Mx:x是人；Hxy:x讨厌y
(a) 不是每个人都讨厌某些人
(b) 有些人讨厌每个人
(c) 没有人讨厌任何一个人
五、请说明下列谬误的论证形式，并举例说明之。(10%)
(Please show the argument forms anf examples of the following fallacies.)
(a) 肯定後件的谬误(Fallacy of Affirming the Consequent)
(b) 滑坡谬误(Slippery Slope Fallacy)
六、请完成下列演算，作答时需连同题目写在答案卷上。（20%)
(Please complete the following proofs. Notice: you should copy the whole
questions on your answer sheet.)
(a)Pv~Q, ~P←→Q, Rv(QvS) ├ R
(1) Pv~Q Pr
(2) ~P←→Q Pr
(3) Rv(QvS) Pr
(4) (RvQ)^(RvS) _____
(5) RvQ _____
(6) (~P→Q)^(Q→~P) _____
(7) Q→~P _____
(8) ~~Pv~Q _____
(9) ~P→~Q _____
(10) Q→~Q _____
(11) ~Qv~Q _____
(12) ~Q _____
(13) R _____
(b)K→(L→M), L→(M→N) ├ K→(L→N)
(1) K→(L→M) Pr
(2) L→(M→N) Pr
(3) (K^L)→M ______
(4) (L^M)→N ______
(5) (M^L)→N ______
(6) M→(L→N) ______
(7) (K^L)→(L→N) ______
(8) ((K^L)^L)→N ______
(9) (K^(L^L))→N ______
(10) (K^L)→N ______
(11) K→(L→N) ______
(c)(Vx)((3y)(Gy^Hxy)→Kx), (Vx)(Nx→Gx), (3y)(Ly^(3x)((Mx^Nx)^Hyx)) ├
(3x)(Kx^Lx)
(1) (Vx)((3y)(Gy^Hxy)→Kx) Pr
(2) (Vx)(Nx→Gx) Pr
(3) (3y)(Ly^(3x)((Mx^Nx)^Hyx)) Pr
(4) La^(3x)((Mx^Nx)^Hax) ______
(5) (3x)((Mx^Nx)^Hax) ______
(6) (Mb^Nb)^Hab) ______
(7) Mb^Nb ______
(8) Nb ______
(9) Nb→Gb ______
(10) Gb ______
(11) (3y)(Gy^Hay)→Ka ______
(12) Hab ______
(13) Gb^Hab ______
(14) (3y)(Gy^Hay) ______
(15) Ka ______
(16) La ______
(17) Ka^La ______
(18) (3x)(Kx^Lx) ______
(d) ├ ~P→(P→Q)
(1) (~Q→~P)→(P→Q) _____
(2) ((~Q→~P)→(P→Q))→(~P→((~Q→~P)→(P→Q))) _____
(3) ~P→((~Q→~P)→(P→Q)) _____
(4) ~P→((~Q→~P)→(P→Q))→((~P→(~Q→~P))→(~P→(P→Q))) _____
(5) ((~P→(~Q→~P))→(~P→(P→Q))) _____
(6) ~P→(~Q→~P) _____
(7) ~P→(P→Q) _____
七、请说明何谓「确定描述词」及其重要影响为何。(10%)
(Please explain the concept of"define description" and illuminate its
significance.)
Appendix: Rules of inference
1.公理法系统(Axiom system)
(A1) φ→(ψ→φ)
(A2) (φ→(ψ→θ))→((φ→ψ)→(φ→θ))
(A3) (~φ→~ψ)→(ψ→φ)
(MP) 从 ψ 和 (φ→ψ)成立，可以推论出ψ成立。
2.线性自然演绎法推论规则 (rules of inferences: linearly natural deduction)
(i)等值规则
(1)笛摩根定律 (DeM) : ~(p^q)←→(~pv~q); ~(pvq)←→(~p^~q)
(2)交换律 (Comm) : (pvq)←→(qvp); (p^q)←→(q^p)
(3)结合律 (Assoc) : (pv(qvr))←→((pvq)vr); (p^(q^r)←→((p^q)^r)
(4)分配律 (Dist) : (p^(qvr))←→((p^q)v(p^r)); (pv(q^r))←→((pvq)^(pvr))
(5)双重否定律 (DN) : p←→~~p
(6)异质位换律 (Contra): (p→q)←→(~q→~p)
(7)蕴含律 (Impl) : (p→q)←→(~pvq)
(8)等值律 (Equiv) : (p←→q)←→((p→q)^(q→p));
(p←→q)←→((p^q)v(~p^~q)
(9)移出律 (Exp) : ((p^q)→r)←→(p→(q→r))
(10)重言律 (Taut) : p←→pvp; p←→p^p
(ii)蕴涵规则
(1)肯定前项律 (MP): p→q, p├ q
(2)否定後项律 (MT): p→q, ~q├ ~p
(3)假言三段论 (HS): p→q, q→r├ p→r
(4)选言三段论 (DS): pvq, ~p├ q; pvq, ~q├ p
(5)简化律 (Simp) : p^q├ p; p^q├ q
(6)添加律 (Add) : p├ pvq
(7)连言律 (Conj) : p,q├ p^q
(8)建构两难律 (CD): (p→q)^(r→s), pvr├ qvs; p→q,r→s,pvr├ qvs
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 114.24.149.167
1F：→ dontw :为什麽只有18P Q_Q 01/06 23:49
2F：推 ray0215 :复制贴上吧 01/07 00:03
3F：→ dontw :我很认真的一字一字打耶=3= 01/07 00:14
4F：推 e2167471 :拍拍 我去年也打过 有430p xd 01/07 02:45
5F：推 Qdream :P币发下来会变多,期中考打得很崩溃,期末考写得很崩溃 01/07 17:06