自然数推理系统 31-38

最新推荐文章于 2024-08-30 12:42:13 发布

YanXi_Basketball

最新推荐文章于 2024-08-30 12:42:13 发布

阅读量307

点赞数

分类专栏： educode离散数学文章标签： python

本文链接：https://blog.csdn.net/tgmhh/article/details/127192392

版权

educode离散数学专栏收录该内容

8 篇文章 4 订阅

订阅专栏

第31关

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关

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关

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关

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关

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关

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关

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关

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