离散数学书一道逻辑谓词证明题急求解~怎么证明?答案上说不等价来着..

来源:学生作业帮助网 编辑:六六作业网 时间:2024/04/29 15:13:52
离散数学书一道逻辑谓词证明题急求解~怎么证明?答案上说不等价来着..离散数学书一道逻辑谓词证明题急求解~怎么证明?答案上说不等价来着..离散数学书一道逻辑谓词证明题急求解~怎么证明?答案上说不等价来着

离散数学书一道逻辑谓词证明题急求解~怎么证明?答案上说不等价来着..
离散数学书一道逻辑谓词证明题急求解~
怎么证明?答案上说不等价来着..

离散数学书一道逻辑谓词证明题急求解~怎么证明?答案上说不等价来着..
(任意x)(P(x)->Q(x))=(任意x)(~P(x)∨Q(x))
(任意x)P(x)->(任意x)Q(x)=(任意x)~P(x)∨(任意x)Q(x)
为了更直观地看问题,设R(x)=~P(x),
则题目转化为问(任意x)(R(x)∨Q(x))与(任意x)R(x)∨(任意x)Q(x)是否等价的问题.
这个书上是有讲的,他们不等价,但是有(任意x)R(x)∨(任意x)Q(x)=>(任意x)(R(x)∨Q(x))这样一个关系存在.如果还不好理解,那么我举个例子:
x:自然数;R(x):x是奇数;Q(x):x是偶数;
这时(任意x)(R(x)∨Q(x))表示任一自然数要么是奇数要么是偶数,命题为真;
但是(任意x)R(x)和(任意x)Q(x)都是为假的,所以(任意x)R(x)∨(任意x)Q(x)为假,这样说明这2者并不等价.

离散数学书一道逻辑谓词证明题急求解~怎么证明?答案上说不等价来着.. 离散数学谓词逻辑证明的问题第五个步骤是怎么来的,看不懂, 求解一道离散数学的等价证明题, 离散数学一道简易逻辑题, 离散数学一道证明题 一道离散数学中谓词逻辑方面的题、设已经:1、能阅读的人(动物)是识字的;2、海豚不识字;3、有些海豚是聪明的.证明:有些很聪明的人(动物)不识字.请把以上1、2、3、事实用谓词 离散数学谓词逻辑题目,如图,为什么有错这是一道谓词逻辑与推理题目,我想知道为什么那里错了 离散数学谓词逻辑问题:(p->∃xq(x)) -> ∃x(p->q) 请证明该式为重言式 离散数学中函数的一道证明题 帮忙证明一道离散数学的逻辑证明题题目:证明(p→q)∧(q→r)→(p→r)是永真式请高手把证明过程写出来 离散数学中的谓词逻辑不存在最大整数怎么表示是:p(x)x是整数,g(x,y)x 所有的人会死的,苏格拉底是人,所以,苏格拉底是会死的.请问用谓词逻辑怎么证明啊?这是考研真题, 离散数学第一章习题离散数学第一章 逻辑与证明的 习题 一道证明题求解 求解一道证明题 离散数学的谓词是什么意思啊 中大考研逻辑真题“所有的人都是会死的,苏格拉底是人,所以,苏格拉底是会死的”,请用谓词逻辑证明. 求解一道离散数学的题,麻烦给出详细的解题步骤~~题目如下:证明群和群同态.(说明,那个m是右下角的角标)