离散数学谓词逻辑问题：(p->∃xq(x)) -> ∃x(p->q) 请证明该式为重言式

如题所述

推荐答案 2014-06-13

证明：
∵（p→∃xq(x)）→∃x（p→q）.
= ¬(¬p∨∃xq(x))∨∃x（¬p∨q）.
= （p∧Vx¬q(x) ）∨ ¬p ∨ q.
= （(p∨¬p) ∧ (Vx¬q(x)∨¬p) ）∨q.
= （1∧ (Vx¬q(x)∨¬p) ）∨q.
= (Vx¬q(x)∨¬p) ∨q.
= Vx( ¬p ∨q ∨ ¬q(x) ) .
= Vx( ¬p ∨1 ) .
= 1.

∴该式为重言式。

温馨提示：答案为网友推荐，仅供参考

当前网址：http://66.wendadaohang.com/zd/nUU2pipsUvip2xDsinx.html

其他回答

第1个回答 2014-06-16

一般用真值表或者是等价变换，，，我看不太懂你写的什么，但是方法可以用这个。。追答

注意这里是一阶逻辑。

相似回答

...∃x(P(x)→Q(x)) => ∀xP(x) →∃xQ(x)答：1、∀;xP(x)2、P(a)3、∃x(P(x)→Q(x))4、P(a)→Q(a)5、Q(a)6、∃xQ(x)

离散数学---证明:所有有理数是实数,某些有理数是整数,因此某些实数是整 ...答：∃x(P(x)→R(x))等价于∃x( ┐P(x)∨R(x))表述的意思是存在x,x不是有理数或者x是整数。显然扩大了原有的断言。其实细心的你一定会发现所有的“所有xx是xx”都是∀x(→)的模式，“某些xx是xx”都是∃x(∧)的模式。

离散数学(谓词逻辑)答：全称量词 (∀x): 所有的 x；任意的 x；一切的 x；每一个 x；· · · 存在量词 (∃x): 有些 x；至少有一个 x；某一些 x；存在 x；· · ·其中的 x 称为作用变量。一般将其量词加在其谓词之前，记为 (∀x)F(x)，(∃x)F(x)。此时，F(x)称为全...

离散数学---证明:所有有理数是实数,某些有理数是整数,因此某些实数是整 ...答：设：P(x)：x是有理数。Q(x)：x是实数。R(x)：x是整数，原命题符号化为：前提：∀x(P(x)→Q(x))，∃x(P(x)∧R(x))结论：∃x(Q(x)∧R(x))证明：(1)∃x(P(x)∧R(x)) P (2)P(a)∧R(a) ES(1)(3)P(a) T(2)I (4)∀...

2012年同等学力申硕计算机综合试题解析--数学基础答：解析： S(x)：x是星球，P(x) ：x是火星，Q(x,y) ：x和y相同。（参考2009逻辑符号第二题解析答案）【网络释义】：有且仅有用“∃!” 即唯一量词表示,属于逻辑符号.符号:∃!读作:有且仅有，数学里的含义:精确的存在一个,只有一个符合要求,是唯一量词.举例:∃! x: P...

离散数学有几道证明题。望高手解答!答：答：P(x,y)表示x – y = 0;∃x∀y P(x,y) ：表示存在一个x，对任意y，都能对x-y =0成立，显然是假的。∀x∃y P(x,y) ：表示任意一个实数x，都存在一个y，使得x-y =0成立，是真的。剩下两题自己琢磨，我不能都告诉你，以后作业我可以帮你做，但你...

大家正在搜