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

$一、求公式(r\wedge (q\to p))\to ((q\to r)\to \neg p)的主合取范式和主析取范式。（10分）$
$真值表如下$

$p$	$q$	$r$	$q\to p$	$q\to r$	$r\wedge (q\to p)$	$(q\to r)\to \neg p$	$(r\wedge (q\to p))\to ((q\to r)\to \neg p)$
0	0	0	1	1	0	1	1
0	0	1	1	1	1	1	1
0	1	0	0	0	0	1	1
0	1	1	0	1	0	1	1
1	0	0	1	1	0	0	1
1	0	1	1	1	1	0	0
1	1	0	1	0	0	1	1
1	1	1	1	1	1	0	0

$主合取范式：(\neg p\vee q\vee \neg q)\wedge (\neg p\vee \neg q\vee \neg r)$
$主析取范式：(\neg p\wedge \neg q\wedge \neg r)\vee (\neg p\wedge \neg q\wedge r)\vee (\neg p\wedge q\wedge \neg r)\vee (\neg p\wedge q\wedge r)\vee (p\wedge \neg q\wedge \neg r)\vee (p\wedge q\wedge \neg r)$
$二、判定下列逻辑蕴涵和逻辑等价是否成立，其中A，B，C，D为任意命题。（10分）$
$(1)(A\wedge B)\to C,\neg C\vee D,\neg D\Rightarrow \neg A\vee \neg B$
$反证法,假设此蕴涵式不成立,则一定存在一种指派弄真左侧的同时弄假右侧$
$若想弄假右侧,则必须A=T,B=T,此时A\wedge B=T$
$此时若想弄真(A\wedge B)\to C,则C=T$
$此时若想弄真\neg C\vee D,则D=T$
$若想弄真\neg D,则D=F$
$出现矛盾,假设不正确,此逻辑蕴含式成立$
$(2)\neg A\to (\neg (C\wedge \neg D)\to B)\iff D\to (A\vee B)$
$对于指派A=T,B=F,C=T,D=F,代入后发现弄真左侧的同时弄假右侧$
$故此逻辑等价式不成立$
$三、构造解释I使得下列谓词公式为真：（5分）$
$\forall x(P(x)\to \exists y(P(y)\wedge Q(x,y)))$
设 论 域 D = { 0 , 1 } , P , Q : D → { T , F } 设论域D=\{0,1\},P,Q:D\to\{T,F\} 设论域D={0,1},P,Q:D→{T,F}
$P(0)=F,P(1)=F$
$Q(0,0)=T,Q(0,1)=T,Q(1,0)=T,Q(1,1)=T$
$在此解释下,在x的所有取值下,全称量词内的前件恒为假,此公式结果恒真,故此谓词公式为真$
$四、判定下列逻辑等价是否成立，其中A，B，C为任意命题公式。（10分）$
$\neg ((A\to \neg B)\to \neg C)\iff C\to (B\to \neg A)$

$A$	$B$	$C$	$\neg A$	$\neg B$	$\neg C$	$A\to \neg B$	$(A\to \neg B)\to \neg C$	$\neg ((A\to \neg B)\to \neg C)$	$B\to \neg A$	$C\to (B\to \neg A)$
0	0	0	1	1	1	1	1	0	1	1
0	0	1	1	1	0	1	0	1	1	1
0	1	0	1	0	1	1	1	0	1	1
0	1	1	1	0	0	1	0	1	1	1
1	0	0	0	1	1	1	1	0	1	1
1	0	1	0	1	0	1	0	1	1	1
1	1	0	0	0	1	0	1	0	0	1
1	1	1	0	0	0	0	1	0	0	0

$易得,例如指派A=F,B=F,C=F,弄假左侧的同时弄真右侧,故此逻辑蕴含式不成立$