2015年哈工大数理逻辑A期末考试参考答案(2)

最新推荐文章于 2021-06-16 17:04:32 发布

酒腌咸鱼

最新推荐文章于 2021-06-16 17:04:32 发布

阅读量2.8k

点赞数 7

文章标签：哈工大数理逻辑期末考试 2016

本文链接：https://blog.csdn.net/weixin_43882153/article/details/103037552

版权

$五、在命题演算系统 P C 中证明：（ 20 分）$
$(1) ⊢ ((A \to B) \to (A \to C)) \to (A \to (B \to C))$
$1.B\to (A\to B)\quad A1$
$2.\neg (A\to B)\to \neg B\quad 1逆否$
$3.\neg B\to (B\to (A\to C))\quad 定理3.1.3$
$4.(B\to (A\to C))\to (A\to (B\to C))\quad 前件互换定理$
$5.\neg (A\to B)\to (B\to (A\to C))\quad 2,3,4传递$
$6.C\to (B\to C)\quad A1$
$7.(A\to C)\to (A\to (B\to C))\quad 6,加前件定理r_{mp}$
$8.(\neg (A\to B)\to (B\to (A\to C)))\to (((A\to C)\to (A\to (B\to C)))\to (((A → B) → (A → C)) → (A → (B → C))))\quad 定理3.1.14$
$C))\quad 5,6,8r_{mp}$
$(2) ⊢ B \to ((B \to C) \to (\neg A \to C))$
$1.C\to (\neg A\to C)\quad A1$
$2.(B\to C)\to (B\to (\neg A\to C))\quad 1,加前件定理r_{mp}$
$3.B\to ((B\to C)\to (\neg A\to C))\quad 2,前件互换定理r_{mp}$
$(3) ⊢ (A \to B) \to (\neg B \to (A \to \neg A))$
$1.\neg B\to (B\to \neg A)\quad 定理3.1.3$
$2.(B\to \neg A)\to ((A\to B)\to (A\to \neg A))\quad 加前件定理$
$3.\neg B\to ((A\to B)\to (A\to \neg A))\quad 1,2三段论$
$4.(A\to B)\to (\neg B\to (A\to \neg A))\quad 3,前件互换定理r_{mp}$
$(4) \neg ((A \to B) \to \neg (B \to A)), A ⊢ B$
$1.\neg (A\to B)\to ((A\to B)\to \neg (B\to A))\quad 定理3.1.3$
$2.\neg ((A\to B)\to \neg (B\to A))\to (A\to B)\quad 1逆否$
$A))\quad 前提$
$⊢A\to B\quad 2,3r_{mp}$
$A\quad 前提$
$B\quad 4,5r_{mp}$
$六、在 N D 中证明：（ 10 分）$
$(1) ⊢ ((A \to B) \to C) \to (B \to C)$
$只需证(A\to B)\to C,B\vdash C\quad 演绎定理$
$1.(A\to B)\to C,B;A\vdash B\quad 公理$
$2.(A\to B)\to C,B\vdash A\to B\quad 1\to引入$
$3.(A\to B)\to C,B\vdash (A\to B)\to C\quad 公理$
$4.(A\to B)\to C,B\vdash C\quad 2,3\to 消除$
$(2) ⊢ (B \to \neg C) \to (\neg A \to (B \to \neg (\neg A \to C)))$
$只需证B\to \neg C,\neg A,B\vdash \neg (\neg A\to C)\quad 演绎定理$
$1.B\to \neg C,\neg A,B;\neg A\to C\vdash \neg A\to C\quad 公理$
$2.B\to \neg C,\neg A,B;\neg A\to C\vdash \neg A\quad 公理$
$3.B\to \neg C,\neg A,B;\neg A\to C\vdash C\quad 1,2\to 消除$
$4.B\to \neg C,\neg A,B;\neg A\to C\vdash B\to \neg C\quad 公理$
$5.B\to \neg C,\neg A,B;\neg A\to C\vdash B\quad 公理$
$6.B\to \neg C,\neg A,B;\neg A\to C\vdash \neg C\quad 4,5\to 消除$
$7.B\to \neg C,\neg A,B;\vdash \neg (\neg A\to C)\quad 3,6\neg 引入$
$七、在 F C 中证明：（ 20 分$
$(1) ⊢ (\exists x A \to \forall x \neg B) \to \forall x (A \to \neg B)$
$根据全程推广定理及演绎定理,只需证\exists xA\to \forall x\neg B\vdash A\to \neg B$
$1.\exists xA\to \forall x\neg B\quad 前提$
$2.\forall x\neg B\to \neg B\quad 定理5.1.1$
$3.\exists A\to \neg B\quad 1,2三段论$
$4.A\to \exists xA\quad 定理5.2.2$
$5.A\to \neg B\quad 3,4三段论$
$6.\forall x(A\to \neg B)\quad 5全称推广$
$(2) \forall x (P (x) \to Q (x)), \neg \forall x (P (x) \to \neg R (x)) ⊢ \exists x \neg (Q (x) \to \neg R (x))$
$方法 1 ：$
$因为\exists x\neg (Q(x)\to \neg R(x))\iff \neg \forall x(Q(x)\to \neg R(x)),使用反证法$
$1.\forall x(P(x)\to Q(x)),\neg \forall x(P(x)\to \neg R(x));\forall x(Q(x)\to \neg R(x))\vdash \forall x(Q(x)\to \neg R(x))\quad 前提$
$2.\forall x(Q(x)\to \neg R(x))\to (Q(x)\to \neg R(x))\quad 定理5.1.1$
$3.\forall x(P(x)\to Q(x)),\neg \forall x(P(x)\to \neg R(x));\forall x(Q(x)\to \neg R(x))\vdash Q(x)\to \neg R(x)\quad 1,2r_{mp}$
$4.\forall x(P(x)\to Q(x)),\neg \forall x(P(x)\to \neg R(x));\forall x(Q(x)\to \neg R(x))\vdash \forall x(P(x)\to Q(x))\quad 前提$
$5.\forall x(P(x)\to Q(x))\to (P(x)\to Q(x))\quad 定理5.1.1$
$6.\forall x(P(x)\to Q(x)),\neg \forall x(P(x)\to \neg R(x));\forall x(Q(x)\to \neg R(x))\vdash P(x)\to Q(x)\quad 5,6r_{mp}$
$7.\forall x(P(x)\to Q(x)),\neg \forall x(P(x)\to \neg R(x));\forall x(Q(x)\to \neg R(x))\vdash P(x)\to \neg R(x)\quad 3,6三段论$
$8.\forall x(P(x)\to Q(x)),\neg \forall x(P(x)\to \neg R(x));\forall x(Q(x)\to \neg R(x))\vdash \forall x(P(x)\to \neg R(x))\quad 7定理5.2.5$
$9.\forall x(P(x)\to Q(x)),\neg \forall x(P(x)\to \neg R(x));\forall x(Q(x)\to \neg R(x))\vdash \neg \forall x (P(x)\to Q(x))\quad 前提$
$10.\forall x(P(x)\to Q(x)),\neg \forall x(P(x)\to \neg R(x))\vdash \neg \forall x(Q(x)\to \neg R(x))\quad 8,9反证法$
$八、 “ 大学里的学生不是本科生就是研究生，有的学生是高材生， J o h n 不是研究生，但是高材生，则如果 J o h n 是大学里的学生必是本科生。 ”$
$请将上述逻辑推理用谓词公式表示出来，并在 F C 中证明其推理的正确性。（ 15 分）$
$令：谓词 S (x) : x 是大学里的学生$
$谓词 B (x) : x 是本科生$
$谓词 G (x) : x 是研究生$
$谓词 P (x) : x 是高材生$
$则上述语句形式化为：$
$(1)\forall x(S(x)\to B(x)\oplus G(x))$
$(2)\exists xP(x)$
$(3)\neg G(John)\land P(John)$
$(4)S(John)\to B(John)$
$令公式集\Gamma = \{ \forall x(S(x)\to B(x)\oplus G(x)),\exists xP(x),\neg G(John)\land P(John),S(John) \}$
$只需证\Gamma\vdash B(John)\quad 演绎定理$
$使用反证法$
$1.\Gamma;\neg B(John)\vdash \neg G(John)\land P(John)\quad 前提$
$2.\neg G(John)\land P(John)\to \neg G(John)\quad 定理3.1.16$
$3.\Gamma;\neg B(John)\vdash \neg G(John)\quad 1,2r_{mp}$
$4.\Gamma;\neg B(John)\vdash \neg B(John)\to \neg G(John)\quad 定理3.1.2$
$5.\Gamma;\neg B(John)\vdash G(John)\to B(John)\quad 4逆否$
$6.\Gamma;\neg B(John)\vdash \neg B(John)\quad 前提$
$7.\Gamma;\neg B(John)\vdash \neg G(John)\to \neg B(John)\quad 定理3.1.2$
$8.\Gamma;\neg B(John)\vdash B(John)\to G(John)\quad 7逆否$
$9.\Gamma;\neg B(John)\vdash B(John)\leftrightarrow G(John)\quad 由5,8可得$
$10.\Gamma;\neg B(John)\vdash \forall x(S(x)\to B(x)\oplus G(x))\quad 前提$
$11.\forall x(S(x)\to B(x)\oplus G(x))\to (S(John)\to B(John)\oplus G(John))\quad 定理5.2.1$
$12.\Gamma;\neg B(John)\vdash S(John)\to B(John)\oplus G(John)$
$13.\Gamma;\neg B(John)\vdash S(John)\quad 前提$
$14.\Gamma;\neg B(John)\vdash B(John)\oplus G(John)\quad 12,13r_{mp}$
$15.\Gamma;\neg B(John)\vdash \neg (B(John)\leftrightarrow G(John))\quad 14异或同或转换$
$16.\Gamma\vdash B(John)\quad 9,15反证法$