题目
离散数学的谓词逻辑推理
A1 = (∃x)(P(x)∧(∀y)(R(x,y)→L(x,y)))
A2 = (∀x)(P(x)→(∀y)(Q(y)→┐L(x,y)))
B = ┐(∃x)(∀y)(R(y,x)∧Q(x))
用逻辑推理法证明A1∧A2 => B
对回答的老师万分感谢!
前面都看懂了,谢谢.但是想请教一下,最后一步有依据吗?我书上没看到说可以这么移否定词的.
A1 = (∃x)(P(x)∧(∀y)(R(x,y)→L(x,y)))
A2 = (∀x)(P(x)→(∀y)(Q(y)→┐L(x,y)))
B = ┐(∃x)(∀y)(R(y,x)∧Q(x))
用逻辑推理法证明A1∧A2 => B
对回答的老师万分感谢!
前面都看懂了,谢谢.但是想请教一下,最后一步有依据吗?我书上没看到说可以这么移否定词的.
提问时间:2020-10-30
答案
任何一本谈谓词逻辑的书均有量词转化法则!
(1)(∃x)(P(x)∧(∀y)(R(x,y)→L(x,y))) P(P规则)
(2) P(a)∧(∀y)(R(a,y)→L(a,y)) T(T规则) (1) ES(存在指定规则)
(3)P(a) T(2)
(4) (∀y)(R(a,y)→L(a,y)) T(2)
(5) (∀x)(P(x)→(∀y)(Q(y)→┐L(x,y))) P
(6) (P(a)→(∀y)(Q(y)→┐L(a,y))) T(5) US(全称指定规则)
(7) (∀y)(Q(y)→┐L(a,y))) T(3)(6)
(8) (R(a,b)→L(a,b)) T(4) US
(9) (Q(b)→┐L(a,b))) T(7) US
(10)L(a,b)→┐Q(b) T(9)
(11)R(a,b)→┐Q(b) T(8) (10)
(12)┐R(a,b)∨┐Q(b) T(11)
(13) (∃y)┐(R(y,b)∧Q(b)) T(12) EG(存在推广规则)
(14) (∀x)(∃y) ( ┐(R(y,x)∧Q(x))) T(13) UG(全称推广规则)
(15) ┐(∃x)(∀y)(R(y,x)∧Q(x)) T(14)
(1)(∃x)(P(x)∧(∀y)(R(x,y)→L(x,y))) P(P规则)
(2) P(a)∧(∀y)(R(a,y)→L(a,y)) T(T规则) (1) ES(存在指定规则)
(3)P(a) T(2)
(4) (∀y)(R(a,y)→L(a,y)) T(2)
(5) (∀x)(P(x)→(∀y)(Q(y)→┐L(x,y))) P
(6) (P(a)→(∀y)(Q(y)→┐L(a,y))) T(5) US(全称指定规则)
(7) (∀y)(Q(y)→┐L(a,y))) T(3)(6)
(8) (R(a,b)→L(a,b)) T(4) US
(9) (Q(b)→┐L(a,b))) T(7) US
(10)L(a,b)→┐Q(b) T(9)
(11)R(a,b)→┐Q(b) T(8) (10)
(12)┐R(a,b)∨┐Q(b) T(11)
(13) (∃y)┐(R(y,b)∧Q(b)) T(12) EG(存在推广规则)
(14) (∀x)(∃y) ( ┐(R(y,x)∧Q(x))) T(13) UG(全称推广规则)
(15) ┐(∃x)(∀y)(R(y,x)∧Q(x)) T(14)
举一反三
已知函数f(x)=x,g(x)=alnx,a∈R.若曲线y=f(x)与曲线y=g(x)相交,且在交点处有相同的切线,求a的值和该切线方程.
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
最新试题
热门考点
- 12012初一上册英语Starter模块4单词表(外研版)!
- 2已知,a b c 为一个三角形的三条边,则 a²-b²+c²-2ac 的值一锭小于零,为什么
- 3一种氧化物还原另一种氧化物
- 4崀山是中国唯一一个是丹霞地貌的世界自然遗产吗?
- 5Can you tell me the way to the hospital?改为同义句 Can you tell me ( ) ( ) ( ) ( ) hospital
- 6数学同步练五年级36页两个车队往工地运送水泥,甲车队运了240吨,比乙车队的三倍多60吨,乙车队运了多少吨?
- 7等腰三角形底边的高为8,周长为32.则三角形的面积为( )
- 8已知函数f(x)=Asin^2(wx+α)(A>0)的最大值为2,其相邻两对称轴间的距离为2,则f(1)+f(2)+...+f(100)=
- 9如图,在四边形ABCD中,AB=2,CD=1,∠A=60°,∠B=∠D=90°,求四边形ABCD的面积.
- 10建筑坐标系是以什么方向为X向,什么方向为Y向?