【educoder】离散数学：自然推理系统

于 2023-10-25 00:25:00 发布
阅读量1.1k 收藏 3
点赞数 1
文章标签： 学习 算法 1024程序员节 python
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/breakingry/article/details/133646590
版权

【educoder】离散数学：自然推理系统

相关知识

1. 目前支持以下这些规则的检查：

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

2.使用约束

基于教材使用的符号进行了转换，请注意以下与教材符号的对应说明：
在这里插入图片描述

对带量词的公式，需要特别小心：
在这里插入图片描述

3.格式要求

所有的符号都是英文半角符号，不支持中文全角符号，如。、，；等
书写证明时的要求：

第一行：

Premise: <要证明的公式的前件>，各前件之间用“,”隔开，如：

Premise: ((Exist x)P(x)) -> (All x)((P(x)/Q(x)) -> R(x)), (Exist x)P(x), (Exist x)Q(x)

第二行：

Conclusion：<要证明的结论>，一般只有一个，如：

Conclusion: (Exist x)(Exist y)(R(x)/\R(y))

答题模版中通常会预先给出第一、二行，无需自己输入。

此后可空几行或不空行开始编写证明步骤；

格式：
在这里插入图片描述

ae或ei规则示例：

下图的第6、10、11步
在这里插入图片描述

下图是用于编写证明时，25条规则的简称：
在这里插入图片描述

下面是一个示例：
Premise: ~B, A->B
Conclusion: ~A

~B, A->B, A |- A prem
~B, A->B, A |- A->B prem
~B, A->B, A |- B imple 1,2
~B, A->B, A |- ~B prem
~B, A->B |- ~A ni 3,4

编程要求

请按说明，严格按格式撰写证明过程。

测试说明

平台会对你编写的证明进行检查，出现“证明过程正确”表明编写的证明是正确的。

如出现其他问题，请先检查是否按规定的格式编写证明。

第1关：6.1节第1题a)

任务描述

不用导出规则，请证明：⊢(A→(B→C))↔(B→(A→C))。

Premise:
Conclusion: (A->(B->C))<->(B->(A->C))
 
1.	A->(B->C),B,A	|-	A	prem 
2.	A->(B->C),B,A	|-	A->(B->C)	prem
3.	A->(B->C),B,A	|-	B->C	imple 1,2
4.	A->(B->C),B,A	|-	B	prem
5.	A->(B->C),B,A	|-	C	imple 4,3
6.	A->(B->C),B	|-	A->C	impli 5
7.	A->(B->C)	|-	B->(A->C)	impli 6
8.	B->(A->C),A,B	|-	B	prem 
9.	B->(A->C),A,B	|-	B->(A->C)	prem
10.	B->(A->C),A,B	|-	A->C	imple 8,9
11.	B->(A->C),A,B	|-	A	prem
12.	B->(A->C),A,B	|-	C	imple 11,10
13.	B->(A->C),A	|-	B->C	impli 12
14.	B->(A->C)	|-	A->(B->C)	impli 13
15.	|-	(A->(B->C))<->(B->(A->C))	equivi 7,14

第2关：6.1节第1题b)-1

任务描述

不用导出规则，请证明：(A∨B)∨C⊢A∨(B∨C)。

Premise: (A\/B)\/C
Conclusion: A\/(B\/C)
1.	A	|-	A	prem
2.	A	|-	A\/(B\/C)	ori 1
3.	B	|-	B	prem
4.	B	|-	B\/C	ori 3
5.	B	|-	A\/(B\/C)	ori 4
6.	C	|-	C	prem
7.	C	|-	B\/C	ori 6
8.	C	|-	A\/(B\/C)	ori 7
9.	A\/B	|-	A\/(B\/C)	ore 2,5
10.	(A\/B)\/C	|-	A\/(B\/C)	ore 8,9

第3关：6.1节第1题b)-2

任务描述

不用导出规则，请证明：A∨(B∨C)⊢(A∨B)∨C。

Premise: A\/(B\/C)
Conclusion: (A\/B)\/C
1.	C	|-	C	prem
2.	C	|-	(A\/B)\/C	ori 1
3.	B	|-	B	prem
4.	B	|-	A\/B	ori 3
5.	B	|-	(A\/B)\/C	ori 4
6.	A	|-	A	prem
7.	A	|-	A\/B	ori 6
8.	A	|-	(A\/B)\/C	ori 7
9.	B\/C	|-	(A\/B)\/C	ore 2,5
10.	A\/(B\/C)	|-	(A\/B)\/C	ore 8,9

第4关：6.1节第1题c)

任务描述

不用导出规则，请证明：⊢(A→B)↔(¬B→¬A)。

Premise:
Conclusion: (A->B)<->(~B -> ~A)
1.	A->B,~B,A	|-	A->B	prem
2.	A->B,~B,A	|-	A	prem
3.	A->B,~B,A	|-	B	imple 1,2
4.	A->B,~B,A	|-	~B	prem
5.	A->B,~B	|-	~A	ni 3,4
6.	A->B	|-	~B->~A	impli 5
7.	~B->~A,A,~B	|-	~B->~A	prem
8.	~B->~A,A,~B	|-	~B	prem
9.	~B->~A,A,~B	|-	~A	imple 7,8
10.	~B->~A,A,~B	|-	A	prem
11.	~B->~A,A	|-	~~B	ni 9,10
12.	~B->~A,A	|-	B	nne 11
13.	~B->~A	|-	A->B	impli 12
14.	|-	(A->B)<->(~B->~A)	equivi 6,13

第5关：6.1节第1题d)-1

任务描述

不用导出规则，请证明：A∧¬A⊢F。

Premise: A/\~A
Conclusion: F
1.	A/\~A	|-	A/\~A	prem
2.	A/\~A	|-	A	ande 1
3.	A/\~A	|-	~A	ande 1
4.	A/\~A	|-	F	ne 2,3

第6关：6.1节第1题d)-2

任务描述

不用导出规则，请证明：F⊢A∧¬A。

Premise: F
Conclusion: A/\~A
1.	F	|-	~F	fi
2.	F	|-	F	prem
3.	F	|-	A/\~A	ne 1,2

第7关：6.1节第1题e)-1

任务描述

不用导出规则，请证明：A→(B→C)⊢A∧B→C。

Premise: A->(B->C)
Conclusion: A/\B->C
1.	A->(B->C),A/\B	|-	A/\B	prem
2.	A->(B->C),A/\B	|-	A	ande 1
3.	A->(B->C),A/\B	|-	B	ande 1
4.	A->(B->C),A/\B	|-	A->(B->C)	prem
5.	A->(B->C),A/\B	|-	B->C	imple 2,4
6.	A->(B->C),A/\B	|-	C	imple 3,5
7.	A->(B->C)	|-	A/\B->C	impli 6

第8关：6.1节第1题e)-2

任务描述

不用导出规则，请证明：A∧B→C⊢A→(B→C)。

Premise: A/\B->C
Conclusion: A->(B->C)
1.	A/\B->C,A,B	|-	A	prem
2.	A/\B->C,A,B	|-	B	prem
3.	A/\B->C,A,B	|-	A/\B	andi 1,2
4.	A/\B->C,A,B	|-	A/\B->C	prem
5.	A/\B->C,A,B	|-	C	imple 3,4
6.	A/\B->C,A	|-	B->C	impli 5
7.	A/\B->C	|-	A->(B->C)	impli 6

第9关：6.1节第2题a)

任务描述

不用导出规则，请证明：(∀x)P(x)⊢(∃x)P(x)。

Premise:(All x)P(x)
Conclusion:(Exist x)P(x)
Premise:(All x)P(x)
Conclusion:(Exist x)P(x)
1.	(All x)P(x)	|-	(All x)P(x)	prem
2.	(All x)P(x)	|-	P(t)	ae 1 (t/x)
3.	(All x)P(x)	|-	(Exist x)P(x)	ei 2 (t/x)

第10关：6.1节第2题b)

任务描述

不用导出规则，请证明：(∃x)(∀y)P(x,y)⊢(∀y)(∃x)P(x,y)。

Premise: (Exist x)(All y)P(x,y)
Conclusion: (All y)(Exist x)P(x,y)
1.	P(x,y)	|-	P(x,y)	prem
2.	(All y)P(x,y)	|-	P(x,y)	lai 1
3.	(Exist x)(All y)P(x,y)	|-	(Exist x)P(x,y)	eei 2
4.	(Exist x)(All y)P(x,y)	|-	(All y)(Exist x)P(x,y)	ai 3

第11关：6.1节第2题c)

任务描述

不用导出规则，请证明：(∀y)P(x)∨(∀x)Q(x)⊢(∀x)(P(x)∨Q(x))。

Premise: (All x)P(x)\/(All x)Q(x)
Conclusion: (All x)(P(x)\/Q(x))
1.	P(x)	|-	P(x)	prem
2.	P(x)	|-	P(x)\/Q(x)	ori	1
3.	(All x)P(x)	|-	(All x)(P(x)\/Q(x))	aai 2
4.	Q(x)	|-	Q(x)	prem
5.	Q(x)	|-	P(x)\/Q(x)	ori	4
6.	(All x)Q(x)	|-	(All x)(P(x)\/Q(x))	aai 5
7.	(All x)P(x)\/(All x)Q(x)	|-	(All x)(P(x)\/Q(x))	ore 3,6

第12关：6.1节第2题d)-1

任务描述

不用导出规则，请证明：(∀x)(A→P(x))⊢A→(∀y)P(x)，其中x不是A中的自由变元。

Premise: (All x)(A->P(x))
Conclusion: A->(All x)P(x)
1.	A->P(x)	|-	A->P(x)	prem
2.	(All x)(A->P(x))	|-	A->P(x)	lai 1
3.	(All x)(A->P(x)),A	|-	A	prem
4.	(All x)(A->P(x)),A	|-	A->P(x)	premi 2
5.	(All x)(A->P(x)),A	|-	P(x)	imple 4,3
6.	(All x)(A->P(x)),A	|-	(All x)P(x)	ai 5
7.	(All x)(A->P(x))	|-	A->(All x)P(x)	impli 6

第13关：6.1节第2题d)-2

任务描述

不用导出规则，请证明：A→(∀y)P(x)⊢(∀x)(A→P(x))，其中x不是A中的自由变元。

Premise: A->(All x)P(x)
Conclusion: (All x)(A->P(x))
1.	A->(All x)P(x),A	|-	A	prem
2.	A->(All x)P(x),A	|-	A->(All x)P(x)	prem
3.	A->(All x)P(x),A	|-	(All x)P(x)	imple 1,2
4.	A->(All x)P(x),A	|-	P(x)	ae 3 (x/x)
5.	A->(All x)P(x)	|-	A->P(x)	impli 4
6.	A->(All x)P(x)	|-	(All x)(A->P(x))	ai 5

第14关：6.1节第2题e)-1

任务描述

不用导出规则，请证明：(∃x)(P(x)∨Q(x))⊢(∃x)P(x)∨(∃x)Q(x)。

Premise: (Exist x)(P(x)\/Q(x))
Conclusion: (Exist x)P(x)\/(Exist x)Q(x)
1.	P(x)	|-	P(x)	prem
2.	P(x)	|-	(Exist x)P(x)	ei 1 (x/x)
3.	P(x)	|-	(Exist x)P(x)\/(Exist x)Q(x)	ori	2
4.	Q(x)	|-	Q(x)	prem
5.	Q(x)	|-	(Exist x)Q(x)	ei 4 (x/x)
6.	Q(x)	|-	(Exist x)P(x)\/(Exist x)Q(x)	ori	5
7.	P(x)\/Q(x)	|-	(Exist x)P(x)\/(Exist x)Q(x)	ore 6,3
8.	(Exist x)(P(x)\/Q(x))	|-	(Exist x)P(x)\/(Exist x)Q(x)	lei 7

第15关：6.1节第2题e)-2

任务描述

不用导出规则，请证明：(∃x)P(x)∨(∃x)Q(x)⊢(∃x)(P(x)∨Q(x))。

Premise: (Exist x)P(x)\/(Exist x)Q(x)
Conclusion: (Exist x)(P(x)\/Q(x))
1.	P(x)	|-	P(x)	prem
2.	P(x)	|-	P(x)\/Q(x)	ori	1
3.	(Exist x)P(x)	|-	(Exist x)(P(x)\/Q(x))	eei 2
4.	Q(x)	|-	Q(x)	prem
5.	Q(x)	|-	P(x)\/Q(x)	ori	4
6.	(Exist x)Q(x)	|-	(Exist x)(P(x)\/Q(x))	eei 5
7.	(Exist x)P(x)\/(Exist x)Q(x)	|-	(Exist x)(P(x)\/Q(x))	ore 3,6

第16关：6.1节第2题f)-1

任务描述

不用导出规则，请证明：(∀x)(P(x)∧Q(x))⊢(∀x)P(x)∧(∀x)Q(x)。

Premise: (All x)(P(x)/\Q(x))
Conclusion: (All x)P(x)/\(All x)Q(x)
1.	P(x)/\Q(x)	|-	P(x)/\Q(x)	prem
2.	P(x)/\Q(x)	|-	P(x)	ande 1
3.	P(x)/\Q(x)	|-	Q(x)	ande 1
4.	(All x)(P(x)/\Q(x))	|-	(All x)P(x)	aai 2
5.	(All x)(P(x)/\Q(x))	|-	(All x)Q(x)	aai 3
6.	(All x)(P(x)/\Q(x))	|-	(All x)P(x)/\(All x)Q(x)	andi 4,5

第17关：6.1节第2题f)-2

任务描述

不用导出规则，请证明：(∀x)P(x)∧(∀x)Q(x)⊢(∀x)(P(x)∧Q(x))

Premise: (All x)P(x)/\(All x)Q(x)
Conclusion: (All x)(P(x)/\Q(x))
1.	(All x)P(x)/\(All x)Q(x)	|-	(All x)P(x)/\(All x)Q(x)	prem
2.	(All x)P(x)/\(All x)Q(x)	|-	(All x)P(x)	ande 1
3.	(All x)P(x)/\(All x)Q(x)	|-	P(x)	ae 2 (x/x)
4.	(All x)P(x)/\(All x)Q(x)	|-	(All x)Q(x)	ande 1
5.	(All x)P(x)/\(All x)Q(x)	|-	Q(x)	ae 4 (x/x)
6.	(All x)P(x)/\(All x)Q(x)	|-	P(x)/\Q(x)	andi 3,5
7.	(All x)P(x)/\(All x)Q(x)	|-	(All x)(P(x)/\Q(x))	ai 6

第18关：6.1节第2题g)

任务描述

不用导出规则，请证明：(∃x)P(x)→(∀x)Q(x)⊢(∀x)(P(x)→Q(x))。

Premise: (Exist x)P(x)->(All x)Q(x)
Conclusion: (All x)(P(x)->Q(x))
1.	(Exist x)P(x)->(All x)Q(x),P(x)	|-	P(x)						prem
2.	(Exist x)P(x)->(All x)Q(x),P(x)	|-	(Exist x)P(x)				ei 1 (x/x)
3.	(Exist x)P(x)->(All x)Q(x),P(x)	|-	(Exist x)P(x)->(All x)Q(x)	prem
4.	(Exist x)P(x)->(All x)Q(x),P(x)	|-	(All x)Q(x)					imple 2,3
5.	(Exist x)P(x)->(All x)Q(x),P(x)	|-	Q(x)						ae 4 (x/x)
6.	(Exist x)P(x)->(All x)Q(x)		|-	P(x)->Q(x)					impli 5
7.	(Exist x)P(x)->(All x)Q(x)		|-	(All x)(P(x)->Q(x))			ai 6

第19关：6.1节第2题h)

任务描述

不用导出规则，请证明：(∀x)(P(x)→Q(x))⊢(∀x)P(x)→(∀x)Q(x)。

Premise: (All x)(P(x)->Q(x))
Conclusion: (All x)P(x)->(All x)Q(x)
1.	(All x)(P(x)->Q(x)),(All x)P(x)	|-	(All x)(P(x)->Q(x))	prem
2.	(All x)(P(x)->Q(x)),(All x)P(x)	|-	P(x)->Q(x)	ae 1 (x/x)
3.	(All x)(P(x)->Q(x)),(All x)P(x)	|-	(All x)P(x)	prem
4.	(All x)(P(x)->Q(x)),(All x)P(x)	|-	P(x)	ae 3 (x/x)
5.	(All x)(P(x)->Q(x)),(All x)P(x)	|-	Q(x)	imple 4,2
6.	(All x)(P(x)->Q(x)),(All x)P(x)	|-	(All x)Q(x)	ai 5
7.	(All x)(P(x)->Q(x))	|-	(All x)P(x)->(All x)Q(x)	impli 6

第20关：6.1节第3题

任务描述

该问题符号化为：
前件：(∀x)(∀y)(R(x,y)−>R(y,x)),(∀x)(∀y)(∀z)(R(x,y)∧R(y,z)→R(x,z)),(∀x)(∃y)R(x,y)
结论：(∀x)R(x,x)

即要用自然推理系统证明：(∀x)(∀y)(R(x,y)−>R(y,x)),(∀x)(∀y)(∀z)(R(x,y)∧R(y,z)→R(x,z)),(∀x)(∃y)R(x,y)⊢(∀x)R(x,x)。

Premise: (All x)(All y)(R(x,y)->R(y,x)),(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z)),(All x)(Exist y)R(x,y)
Conclusion: (All x)R(x,x)
1.	(All x)(All y)(R(x,y)->R(y,x)),(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z)),(All x)(Exist y)R(x,y)	|-	(All x)(Exist y)R(x,y)	prem
2.	(All x)(All y)(R(x,y)->R(y,x)),(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z)),(All x)(Exist y)R(x,y)	|-	(Exist y)R(x,y)	ae 1 (x/x)
3.	(All x)(All y)(R(x,y)->R(y,x)),(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z)),(All x)(Exist y)R(x,y),R(x,t)	|-	R(x,t)	prem
4.	(All x)(All y)(R(x,y)->R(y,x)),(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z)),(All x)(Exist y)R(x,y),R(x,t)	|-	(All x)(All y)(R(x,y)->R(y,x))	prem
5.	(All x)(All y)(R(x,y)->R(y,x)),(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z)),(All x)(Exist y)R(x,y),R(x,t)	|-	(All y)(R(x,y)->R(y,x))	ae 4 (x/x)
6.	(All x)(All y)(R(x,y)->R(y,x)),(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z)),(All x)(Exist y)R(x,y),R(x,t)	|-	R(x,t)->R(t,x)	ae 5 (t/y)
7.	(All x)(All y)(R(x,y)->R(y,x)),(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z)),(All x)(Exist y)R(x,y),R(x,t)	|-	R(t,x)	imple 3,6
8.	(All x)(All y)(R(x,y)->R(y,x)),(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z)),(All x)(Exist y)R(x,y),R(x,t)	|-	R(x,t)/\R(t,x)	andi 3,7
9.	(All x)(All y)(R(x,y)->R(y,x)),(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z)),(All x)(Exist y)R(x,y),R(x,t)	|-	(Exist y)(R(x,y)/\R(y,x))	ei 8 (t/y)
10.	(All x)(All y)(R(x,y)->R(y,x)),(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z)),(All x)(Exist y)R(x,y)	|-	(Exist y)(R(x,y)/\R(y,x))	ee 2,9
11.	(All x)(All y)(R(x,y)->R(y,x)),(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z)),(All x)(Exist y)R(x,y),R(x,t)/\R(t,x)	|-	R(x,t)/\R(t,x)	prem	
12.	(All x)(All y)(R(x,y)->R(y,x)),(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z)),(All x)(Exist y)R(x,y),R(x,t)/\R(t,x)	|-	(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z))	prem
13.	(All x)(All y)(R(x,y)->R(y,x)),(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z)),(All x)(Exist y)R(x,y),R(x,t)/\R(t,x)	|-	(All y)(All z)(R(x,y)/\R(y,z)->R(x,z))	ae 12 (x/x)
14.	(All x)(All y)(R(x,y)->R(y,x)),(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z)),(All x)(Exist y)R(x,y),R(x,t)/\R(t,x)	|-	(All z)(R(x,t)/\R(t,z)->R(x,z))	ae 13 (t/y)
15.	(All x)(All y)(R(x,y)->R(y,x)),(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z)),(All x)(Exist y)R(x,y),R(x,t)/\R(t,x)	|-	R(x,t)/\R(t,x)->R(x,x)	ae 14 (x/z)
16.	(All x)(All y)(R(x,y)->R(y,x)),(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z)),(All x)(Exist y)R(x,y),R(x,t)/\R(t,x)	|-	R(x,t)/\R(t,x)	prem
17.	(All x)(All y)(R(x,y)->R(y,x)),(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z)),(All x)(Exist y)R(x,y),R(x,t)/\R(t,x)	|-	R(x,x)	imple 15,16
18.	(All x)(All y)(R(x,y)->R(y,x)),(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z)),(All x)(Exist y)R(x,y)	|-	R(x,x)	ee 10,17
19.	(All x)(All y)(R(x,y)->R(y,x)),(All x)(All y)(All z)(R(x,y)/\R(y,z)->R(x,z)),(All x)(Exist y)R(x,y)	|-	(All x)R(x,x)	ai 18

第21关：6.2节第1题a)

任务描述

用自然推理系统证明：⊢¬(A∧B)↔¬A∨¬B。

Premise: 
Conclusion: ~(A/\B)<->(~A\/~B)
1.	~A,~(A/\B)	|-	~(A/\B)	prem
2.	~A,A/\B	|-	A/\B	prem
3.	~A,A/\B	|-	A	ande 2
4.	~A,A/\B	|-	~A	prem
5.	~A,A/\B	|-	~(A/\B)	ne 3,4
6.	~A	|-	~(A/\B)	preme 1,5
7.	~B,~(A/\B)	|-	~(A/\B)	prem
8.	~B,A/\B	|-	A/\B	prem
9.	~B,A/\B	|-	B	ande 8
10.	~B,A/\B	|-	~B	prem
11.	~B,A/\B	|-	~(A/\B)	ne 9,10
12.	~B	|-	~(A/\B)	preme 7,11
13.	~A\/~B	|-	~(A/\B)	ore 6,12
14.	~(A/\B),~(~A\/~B),~A	|-	~(~A\/~B)	prem
15.	~(A/\B),~(~A\/~B),~A	|-	~A	prem
16.	~(A/\B),~(~A\/~B),~A	|-	~A\/~B	ori 15
17.	~(A/\B),~(~A\/~B)	|-	~~A	ni 14,16
18.	~(A/\B),~(~A\/~B)	|-	A	nne	17
19.	~(A/\B),~(~A\/~B),~B	|-	~(~A\/~B)	prem
20.	~(A/\B),~(~A\/~B),~B	|-	~B	prem
21.	~(A/\B),~(~A\/~B),~B	|-	~A\/~B	ori 20
22.	~(A/\B),~(~A\/~B)	|-	~~B	ni 19,21
23.	~(A/\B),~(~A\/~B)	|-	B	nne	22
24.	~(A/\B),~(~A\/~B)	|-	A/\B	andi 18,23
25.	~(A/\B),~(~A\/~B)	|-	~(A/\B)	prem
26.	~(A/\B)	|-	~~(~A\/~B)	ni 24,25
27.	~(A/\B)	|-	(~A\/~B)	nne 26
28.	|-	~(A/\B)<->(~A\/~B)	equivi 13,27

第22关：6.2节第1题b)

任务描述

用自然推理系统证明：⊢A∧(B∨C)↔(A∧B)∨(A∧C)。

Premise: 
Conclusion: A/\(B\/C)<->(A/\B)\/(A/\C)
1.	A/\B	|-	A/\B	prem
2.	A/\B	|-	A	ande 1
3.	A/\B	|-	B	ande 1
4.	A/\B	|-	B\/C	ori 3
5.	A/\B	|-	A/\(B\/C)	andi 2,4
6.	A/\C	|-	A/\C	prem
7.	A/\C	|-	A	ande 6
8.	A/\C	|-	C	ande 6
9.	A/\C	|-	B\/C	ori 8
10.	A/\C	|-	A/\(B\/C)	andi 7,9
11.	(A/\B)\/(A/\C)	|-	A/\(B\/C)	ore 5,10
12.	A/\(B\/C),B	|-	B	prem
13.	A/\(B\/C),B	|-	A/\(B\/C)	prem
14.	A/\(B\/C),B	|-	A	ande 13
15.	A/\(B\/C),B	|-	A/\B	andi 12,14
16.	A/\(B\/C),B	|-	(A/\B)\/(A/\C)	ori 15
17.	A/\(B\/C),~B	|-	A/\(B\/C)	prem
18.	A/\(B\/C),~B	|-	A	ande 17
19.	A/\(B\/C),~B	|-	B\/C	ande 17
20.	B,~(~B/\~C)	|-	~(~B/\~C)	prem
21.	B,~B/\~C	|-	~B/\~C	prem
22.	B,~B/\~C	|-	~B	ande 21
23.	B,~B/\~C	|-	B	prem
24.	B,~B/\~C	|-	~(~B/\~C)	ne 22,23
25.	B	|-	~(~B/\~C)	preme 20,24
26.	C,~(~B/\~C)	|-	~(~B/\~C)	prem
27.	C,~B/\~C	|-	~B/\~C	prem
28.	C,~B/\~C	|-	~C	ande 27
29.	C,~B/\~C	|-	C	prem
30.	C,~B/\~C	|-	~(~B/\~C)	ne 28,29
31.	C	|-	~(~B/\~C)	preme 26,30
32.	B\/C	|-	~(~B/\~C)	ore 25,31
33.	|-	(B\/C)->~(~B/\~C)	impli 32
34.	A/\(B\/C),~B,~C	|-	~B	prem
35.	A/\(B\/C),~B,~C	|-	~C	prem
36.	A/\(B\/C),~B,~C	|-	~B/\~C	andi 34,35
37.	A/\(B\/C),~B,~C	|-	B\/C	premi 19
38.	A/\(B\/C)	|-	(B\/C)->~(~B/\~C)	premi 33
39.	A/\(B\/C),~B	|-	(B\/C)->~(~B/\~C)	premi 38
40.	A/\(B\/C),~B,~C	|-	(B\/C)->~(~B/\~C)	premi 39
41.	A/\(B\/C),~B,~C	|-	~(~B/\~C)	imple 37,40
42.	A/\(B\/C),~B	|-	~~C	ni 36,41
43.	A/\(B\/C),~B	|-	C	nne	42
44.	A/\(B\/C),~B	|-	A/\C	andi 43,18
45.	A/\(B\/C),~B	|-	(A/\B)\/(A/\C)	ori 44
46.	A/\(B\/C)	|-	(A/\B)\/(A/\C)	preme 45,16
47.	|-	A/\(B\/C)<->(A/\B)\/(A/\C)	equivi 46,11

第23关：6.2节第1题c)

任务描述

用自然推理系统证明：⊢A∨(B∧C)↔(A∨B)∧(A∨C)。

可使用的导出规则：
1.¬A∨¬B⊢¬(A∧B)
2.¬A∧¬B⊢¬(A∨B)

Premise: 
Conclusion: A\/(B/\C)<->(A\/B)/\(A\/C)
1.	A	|-	A	prem
2.	A	|-	A\/B	ori 1
3.	A	|-	A\/C	ori 1
4.	A	|-	(A\/B)/\(A\/C)	andi 2,3
5.	B/\C	|-	B/\C	prem
6.	B/\C	|-	B	ande 5
7.	B/\C	|-	A\/B	ori 6
8.	B/\C	|-	C	ande 5
9.	B/\C	|-	A\/C	ori 8
10.	B/\C	|-	(A\/B)/\(A\/C)	andi 7,9
11.	A\/(B/\C)	|-	(A\/B)/\(A\/C)	ore 4,10
12.	(A\/B)/\(A\/C),A	|-	A	prem
13.	(A\/B)/\(A\/C),A	|-	A\/(B/\C)	ori 12
14.	(A\/B)/\(A\/C),~A,~B	|-	(A\/B)/\(A\/C)	prem
15.	(A\/B)/\(A\/C),~A,~B	|-	A\/B	ande 14
16.	(A\/B)/\(A\/C),~A,~B	|-	~(A\/B)	dr
17.	(A\/B)/\(A\/C),~A	|-	~~B	ni 15,16
18.	(A\/B)/\(A\/C),~A	|-	B	nne 17
 
19.	(A\/B)/\(A\/C),~A,~C	|-	(A\/B)/\(A\/C)	prem
20.	(A\/B)/\(A\/C),~A,~C	|-	A\/C	ande 19
21.	(A\/B)/\(A\/C),~A,~C	|-	~(A\/C)	dr
22.	(A\/B)/\(A\/C),~A	|-	~~C	ni 20,21
23.	(A\/B)/\(A\/C),~A	|-	C	nne 22
24.	(A\/B)/\(A\/C),~A	|-	B/\C	andi 23,18
25.	(A\/B)/\(A\/C),~A	|-	A\/(B/\C)	ori 24
26.	(A\/B)/\(A\/C)	|-	A\/(B/\C)	preme 13,25
27.	|-	A\/(B/\C)<->(A\/B)/\(A\/C)	equivi 26,11

第24关：6.2节第1题d)

任务描述

任务描述
用自然推理系统证明：⊢A∨F↔A。

Premise:
Conclusion: A\/F<->A
1.	A\/F	|-	A	dr
2.	A	|-	A\/F	dr
3.	|-	A\/F<->A	equivi 1,2

第25关：6.2节第1题e)

任务描述

用自然推理系统证明：⊢A∧T↔A。

Premise: 
Conclusion: A/\T<->A
1.	A/\T	|-	A	dr
2.	A	|-	A/\T	dr
3.	|-	A/\T<->A	equivi 1,2

第26关：6.2节第1题f)

任务描述

用自然推理系统证明：⊢(A→B)↔(¬A∨B)。

Premise: 
Conclusion: (A->B)<->~A\/B
1.	(A->B)	|-	~A\/B	dr
2.	~A\/B	|-	(A->B)	dr
3.	|-	(A->B)<->~A\/B	equivi 1,2

第27关：6.2节第2题g)

任务描述

用自然推理系统证明：¬(A→B)⊢A

Premise: ~(A->B)
Conclusion: A
1.	~(A->B)	|-	A/\A	dr
2.	~(A->B)	|-	A	ande 1

第28关：6.2节第1题h)

任务描述

用自然推理系统证明：¬(A→B)⊢¬B。

Premise: ~(A->B)
Conclusion: ~B
1.	~(A->B)	|-	~(~A\/B)	dr
2.	~(A->B)	|-	A/\~B	dr
3.	~(A->B)	|-	~B	ande 2

第29关：6.2节第2题a)

任务描述

用自然推理系统证明：⊢(∃x)(C→P(x))↔(C→(∃x)P(x))。

可以使用的导出规则有：
1.¬(A→B)⊢A∧¬B
2.(∀x)(¬P(x))⊢¬(∃x)P(x)
3.¬(∃x)P(x)⊢(∀x)(¬P(x))

Premise: 
Conclusion: ((Exist x)(C->P(x)))<->(C->(Exist x)P(x))
1.	C->P(x),C	|-	C->P(x)	prem
2.	C->P(x),C	|-	C	prem	
3.	C->P(x),C	|-	P(x)	imple 1,2
4.	C->P(x),C	|-	(Exist x)P(x)	ei 3 (x/x)
5.	C->P(x)	|-	C->(Exist x)P(x)	impli 4
6.	(Exist x)(C->P(x))	|-	C->(Exist x)P(x)	lei 5
7.	C->(Exist x)P(x),C	|-	C->(Exist x)P(x)	prem
8.	C->(Exist x)P(x),C	|-	C	prem
9.	C->(Exist x)P(x),C	|-	(Exist x)P(x)	imple 7,8
10.	C->(Exist x)P(x),C,P(t)	|-	(Exist x)(C->P(x))	dr
11.	C->(Exist x)P(x),C	|-	(Exist x)(C->P(x))	ee 9,10
12.	C->(Exist x)P(x),~C	|-	(Exist x)(C->P(x))	dr
13.	C->(Exist x)P(x)	|-	(Exist x)(C->P(x))	preme 11,12
14.	|-	((Exist x)(C->P(x)))<->(C->(Exist x)P(x))	equivi 6,13

第30关：6.2节第2题b)-1

任务描述

用自然推理系统证明：(∃x)(P(x)→C)⊢(∀x)P(x)→C。

Premise: (Exist x)(P(x)->C)
Conclusion: (All x)P(x)->C
1.	P(t)->C	|-	P(t)->C	prem
2.	P(t)->C,P(t)	|-	C	dr
3.	(All x)P(x)	|-	P(t)->C->C	dr
5.	P(t)->C	|-	(All x)P(x)->C	dr
6.	(Exist x)(P(x)->C)	|-	(Exist x)(P(x)->C)	prem
7.	(Exist x)(P(x)->C),P(t)->C	|-	P(t)->C	prem
8.	(Exist x)(P(x)->C),(P(t)->C)	|-	(All x)P(x)->C	dr
9.	(P(x)->C)	|-	(All x)P(x)->C	dr
10.	(Exist x)(P(x)->C)	|-	(All x)P(x)->C	lei 9

第31关：6.2节第2题b)-2

任务描述

用自然推理系统证明：(∀x)P(x)→C⊢(∃x)(P(x)→C)。

可以使用的导出规则：
1.¬(A→B)⊢A∧¬B
2.¬(∃x)P(x)⊢(∀x)(¬P(x))

Premise: (All x)P(x)->C
Conclusion: (Exist x)(P(x)->C)
1.	(All x)P(x)->C	|-	(All x)P(x)->C	prem
2.	(All x)P(x)->C	|-	P(t)->C	dr
3.	(All x)P(x)->C	|-	(Exist x)(P(x)->C)	ei 2 (t/x)

第32关：6.2节第2题c)-1

任务描述

用自然推理系统证明：(∃x)(P(x)∨C)⊢(∃x)P(x)∨C。

Premise: (Exist x)(P(x)\/C)
Conclusion: (Exist x)P(x)\/C
1.	P(x)	|-	P(x)	prem
2.	P(x)	|-	(Exist x)P(x)	ei 1 (x/x)
3.	P(x)	|-	(Exist x)P(x)\/C	ori 2
4.	C	|-	C	prem
5.	C	|-	(Exist x)P(x)\/C	ori 4
6.	P(x)\/C	|-	(Exist x)P(x)\/C	ore 3,5
7.	(Exist x)(P(x)\/C)	|-	(Exist x)P(x)\/C	lei 6

第33关：6.2节第2题c)-2

任务描述

用自然推理系统证明：(∃x)P(x)∨C⊢(∃x)(P(x)∨C)。

Premise: (Exist x)P(x)\/C
Conclusion: (Exist x)(P(x)\/C)
1.	(Exist x)P(x)	|-	(Exist x)P(x)	prem
2.	(Exist x)P(x),P(t)	|-	P(t)	prem
3.	(Exist x)P(x),P(t)	|-	P(t)\/C	ori 2
4.	(Exist x)P(x),P(t)	|-	(Exist x)(P(x)\/C)	ei 3 (t/x)
5.	(Exist x)P(x)	|-	(Exist x)(P(x)\/C)	dr
6.	C	|-	C	prem
7.	C	|-	P(x)\/C	ori 6
8.	C	|-	(Exist x)(P(x)\/C)	ei 7 (x/x)
9.	(Exist x)P(x)\/C	|-	(Exist x)(P(x)\/C)	ore 5,8

第34关：6.2节第2题d)-1

任务描述

用自然推理系统证明：(∀x)(P(x)∧C)⊢(∀x)P(x)∧C。

Premise: (All x)(P(x)/\C)
Conclusion: (All x)P(x)/\C
1.	P(x)/\C	|-	P(x)/\C	prem
2.	P(x)/\C	|-	P(x)	ande 1
3.	P(x)/\C	|-	C	ande 1
4.	(All x)(P(x)/\C)	|-	(All x)P(x)	aai 2
5.	(All x)(P(x)/\C)	|-	C	lai 3
6.	(All x)(P(x)/\C)	|-	(All x)P(x)/\C	andi 4,5

第35关：6.2节第2题d)-2

任务描述

用自然推理系统证明：(∀x)P(x)∧C⊢(∀x)(P(x)∧C)。

Premise: (All x)P(x)/\C
Conclusion: (All x)(P(x)/\C)
1.	(All x)P(x)/\C	|-	(All x)P(x)/\C	prem
2.	(All x)P(x)/\C	|-	(All x)P(x)	ande 1
3.	(All x)P(x)/\C	|-	P(x)	ae 2 (x/x)
4.	(All x)P(x)/\C	|-	C	ande 1
5.	(All x)P(x)/\C	|-	P(x)/\C	andi 3,4
6.	(All x)P(x)/\C	|-	(All x)(P(x)/\C)	ai 5

第36关：6.2节第2题e)-1

任务描述

用自然推理系统证明：¬(∀x)P(x)⊢(∃x)¬P(x)。

Premise: ~(All x)P(x)
Conclusion: (Exist x)(~P(x))
1.	~(All x)P(x),~(Exist x)(~P(x)),~P(x) 	|-	~P(x)	prem
2.	~(All x)P(x),~(Exist x)(~P(x)),~P(x)	|-	(Exist x)(~P(x))	ei 1 (x/x)
3.	~(All x)P(x),~(Exist x)(~P(x)),~P(x)	|-	~(Exist x)(~P(x))	prem
4.	~(All x)P(x),~(Exist x)(~P(x))	|-	~~P(x)	ni 2,3
5.	~(All x)P(x),~(Exist x)(~P(x))	|-	P(x)	nne 4
6.	~(All x)P(x),~(Exist x)(~P(x))	|-	(All x)P(x)	ai 5
7.	~(All x)P(x),~(Exist x)(~P(x))	|-	~(All x)P(x)	prem
8.	~(All x)P(x)	|-	~~(Exist x)(~P(x))	ni 6,7
9.	~(All x)P(x)	|-	(Exist x)(~P(x))	nne 8

第37关：6.2节第2题e)-2

任务描述

用自然推理系统证明：(∃x)¬P(x)⊢¬(∀x)P(x)。

Premise: ~(All x)P(x)
Conclusion: (Exist x)(~P(x))
1.	~(All x)P(x),~(Exist x)(~P(x)),~P(x) 	|-	~P(x)	prem
2.	~(All x)P(x),~(Exist x)(~P(x)),~P(x)	|-	(Exist x)(~P(x))	ei 1 (x/x)
3.	~(All x)P(x),~(Exist x)(~P(x)),~P(x)	|-	~(Exist x)(~P(x))	prem
4.	~(All x)P(x),~(Exist x)(~P(x))	|-	~~P(x)	ni 2,3
5.	~(All x)P(x),~(Exist x)(~P(x))	|-	P(x)	nne 4
6.	~(All x)P(x),~(Exist x)(~P(x))	|-	(All x)P(x)	ai 5
7.	~(All x)P(x),~(Exist x)(~P(x))	|-	~(All x)P(x)	prem
8.	~(All x)P(x)	|-	~~(Exist x)(~P(x))	ni 6,7
9.	~(All x)P(x)	|-	(Exist x)(~P(x))	nne 8

第38关：6.2节第2题f)

任务描述

用自然推理系统证明：(∃x)(P(x)∧Q(x))⊢(∃x)P(x)∧(∃x)Q(x)。

Premise: (Exist x)(P(x)/\Q(x))
Conclusion: (Exist x)P(x)/\(Exist x)Q(x)
1.	P(x)/\Q(x)	|-	P(x)/\Q(x)	prem
2.	P(x)/\Q(x)	|-	P(x)	ande 1
3.	(Exist x)(P(x)/\Q(x))	|-	(Exist x)P(x)	eei 2
4.	P(x)/\Q(x)	|-	Q(x)	ande 1
5.	(Exist x)(P(x)/\Q(x))	|-	(Exist x)Q(x)	eei 4
6.	(Exist x)(P(x)/\Q(x))	|-	(Exist x)P(x)/\(Exist x)Q(x)	andi 3,5

PS：

要了解逻辑基础，可以类比为学语文要学拼音。逻辑有一些基本概念和规则，比如命题逻辑和谓词逻辑中的连接词、量词等，这些都是需要掌握的。

学习推理规则很重要。自然推理系统常用的推理规则，比如假言推理、析取引入与消除、合取引入与消除、否定引入与消除等，这些都需要熟悉。练习推理技巧。就像打dota需要不断练习一样，多做一些推理问题的练习，尝试使用自然推理系统进行推导，并检查推导的正确性。逐步增加难度，挑战更复杂的推理问题。

对于这部分内容，持续学习和提升是关键。像追番一样保持好奇心，关注新的推理问题和技巧，多推多练，不断提高自然推理的能力。

反正这门课对于 6yuan or 6dd 牛马们来说比较好通过，实在弄不懂，抄就完了。
（￣︶￣）↗

（就没听说过挂离散的(～￣▽￣)～）

猫猫不可能戴铃铛
关注
自然推理系统———上
Junds0的博客
04-18 1323
第1关：6.1节第1题a) 不用导出规则，请证明：⊢(A→(B→C))↔(B→(A→C))。 Premise: Conclusion: (A->(B->C))<->(B->(A->C)) 1. A->(B->C),B,A |- A prem 2. A->(B->C),B,A |- A->(B->C) prem 3. A->(B->C),B,A |- B->C imple 1,2 4. A->(B->C)
离散数学 --- 命题逻辑 --- 基本推理形式和自然演绎法推理
qq_51947882的博客
09-04 4290
2.推理的有效性和结果的真实性并不是一回事，有效的推理并不一定能够带来真实的结果，原因是当推理的前提条件中有假的时候，我们依然能够进行有效的推理，但是推理出的结果为假。最后是第三部分 I/E，当第三部分为I的时候，则表示左边的命题公式是通过基本蕴含关系推出来的，若为E的话则表示是通过基本等价关系推导出来的。箭头的左边是前提，箭头的右边是根据前提推出的逻辑结果 --- 如果前提为真，则推出来的逻辑结果为真，否则为推出来的逻辑结果为假。1.这里面的P的意思是左边的命题公式是属于给定的前提的。
【头歌educoder】离散数学实训参考-第四章-数理逻辑-part2-自然推理系统
最新发布
wander_alice的博客
04-03 2185
本着来熟悉python的，遇到这节证明题目，于是尝试以下。较难的题是23题和29题，这两题都使用了；以及20题会显得吓人。
Educoder离散数学实训【自然推理系统】答案
weixin_68418982的博客
10-03 3035
某位学员为大家提供的宝贵的离散数学educoder实训答案
离散数学知识点总结（6）：自然推理系统；13 个推理规则； 如何使用推理规则
热门推荐
qq_42902997的博客
09-02 2万+
文章目录自然推理系统的定义13个推理规则如何在自然推理系统中构造有效论证的方法直接证明法附加前提证明法（cp规则）反证法 / 归谬法（Proofs by Contradiciton）对位证明（Proofs by contraposition）举例直接证明法举例附加前提法举例归谬法举例 自然推理系统的定义 13个推理规则 Note： 国外课本《离散数学及其应用中的表格》 如何在自然推理系统中构造有效论证的方法 直接证明法 由前提利用推理规则直接推出结论 附加前提证明法（cp规则） 如果结论是
离散数学，自然推理系统，基于假言推理，不能使用消解法的自然推理系统
weixin_45435140的博客
06-05 1650
自然推理系统(基于假言推理,不能使用消解法的自然推理系统)。用C++编写的自然推理系统和用js编写的自然推理系统
离散数学——逻辑推理系统-附件资源
03-05
离散数学——逻辑推理系统-附件资源
离散数学谓词演算推理理论PPT学习教案.pptx
10-05
离散数学谓词演算推理理论PPT学习教案 离散数学谓词演算推理理论是指在数学逻辑中，使用谓词演算来描述和推理的方法。谓词演算推理理论是一种形式系统，用于描述和推理具有量词和谓词的命题。 在谓词演算推理理论...
逻辑学自然科学教育计算机,科学网—【逻辑学知识】自然推理系统 - 黄荣彬的博文...
weixin_39789646的博客
06-21 1107
【逻辑学知识】自然推理系统一、自然推理是什么？所谓自然推理，就是从给定的前提命题出发，运用演绎推理的有效式即根据演绎推理规则进行的推理。属“演绎推理”，前提命题的合取(∧)蕴涵(→)结论命题。自然推理和公理化推理不同，它不预设公理，只是根据规则，从给定的前提命题出发得出结论命题。这似乎更符合人们日常思维的习惯，因此，称之为自然推理。自然推理是判定推理形式有效的一种方法。自然推理的基本思想是确定一些...
《离散数学》笔记
ww981580010的博客
03-09 2万+
《离散数学》笔记总结
【头歌答案】一百个实训答案总集
weixin_44505587的博客
10-16 1万+
【头歌答案】 答案查询的入口网页版- 小程序版：![在这里插入图片描述](https://img-blog.csdnimg.cn/20200727161538813.jpg?- 其他各类实训答案的[**目录**见这里](https://blog.csdn.net/weixin_44505587/article/details/107909026)- 答案获取的方法简介见[这里](https://blog.csdn.net/weixin_44505587/article/details/107825779)
离散数学_构造推理的证明
Jimmy Huang's Blog
04-19 1万+
1、在自然推理系统F中，构造下面推理的证明 不存在能表示成分数的无理数，有理数都能表示成分数。因此，有理数都不是无理数。 个体域为实数集合。 令F(x):xF(x):xF(x):x是无理数 G(x):xG(x):xG(x):x是有理数 H(x):xH(x):xH(x):x能表示成分数 命题符号化： ​ 不存在能表示成分数的无理数：¬∃x(H(x)∧F(x))\lnot \exist x (H(...
自然推理系统
geyang55xu的博客
01-13 7850
本文主要记录自然推理过程中的基本规则，便于日后查找。 其中内容转载于 http://blog.sciencenet.cn/blog-626289-894150.html 1、前提引入规则，在推理的任何一步都可以引入前提，这条规则为p规则。 2、重言蕴涵规则，如果在推理中有一些在先的命题，它们的合取（∧）重言地蕴涵（→）A，那么，在推理中就可以引入命题A，这条规则为T规则。 3、
离散数学——逻辑推理系统
weixin_30802171的博客
10-27 715
逻辑判断-推理系统 逻辑判断系统 设计概要： 根据联结词的优先级：￢∧∨→↔ 输入中缀逻辑式 将之转化为后缀表达式 得到公式模板（后缀式）和变量名集合 构造<变量名,bool>的映射关系 根据后缀式和 构造好的<变量-bool> 映射 可计算其真值 类实现： C++：（初次实现，无图形界面） classLog...
离散数学笔记三--命题逻辑的推理理论
nicecat的专栏
03-05 1万+
第三章命题逻辑的推理理论 1.推理的形式结构 （1）定义3.1：设A1，A2，A3...Ak和B都是命题公式，若对于A1，A2，A3...Ak和B中出现的命题变项的任意一组赋值，或者A1，A2，A3...Ak为假，或者当A1，A2，A3...Ak为真是，B也为真，则称由前提A1，A2，A3...Ak推出结论B的推理是有效的或正确的，并称B是有效的结论。 （2）
离散数学：2018年刑侦科推理试题
zb_tjw的博客
03-30 1941
答案是：BCACACDABA 先来看看网上大神的做法： 下边是自己的解题过程，每一步的注释已经写得很详细，思路相对很清晰都能看懂，所以不再赘述，这里教学平台只能提交C所以需要java的自己稍作修改吧没什么区别 #include&lt;stdio.h&gt; void find(char p1[10]); char p[1048576][10]; void main(){ ...
数理逻辑 自然推理系统N2之断言的证明
一只老风铃
12-10 490
断言：无需其它前件条件下自然成立 【例子1】 【例子2】
离散数学-3 命题逻辑的推理理论
哈哈岛
03-15 6439
定义3.1 设A1, A2, …, Ak, B为命题公式. 若对于每组赋值，A1A2…Ak 为假，或当A1A2…Ak为真时，B也为真，则称由前提A1, A2, …, Ak推出结论B的推理是有效的或正确的, 并称B是有效结论. 推理正确并不能保证结论一定成立；前提不正确，不论结论是否成立，都说推理正确。 定理3.1 由命题公式A1, A2, …, Ak 推B的推理正
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值