离散数学：谓词逻辑证明题！

（任意x）（C（x）→（W（x）∧R（x）））∧((C(x)∧Q(x))═>(存在x)（Q（x）∧R（x））。

举报该问题

第1个回答 2009-08-28

我也正在看谓词逻辑部分，对于条件联结词的蕴含式的证明有着头大！如：
∀x(A(x)→B(x))⇒ ∀xA(x)→ ∀xB(x)
∃x(A(x)→B(x))⇒ ∃xA(x)→ ∃xB(x)

相似回答

离散数学书一道逻辑谓词证明题急求解~~答：(任意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)是否等价的问题。这个书上是有讲的，他们不等价，但是有...

离散数学问题,谓词逻辑问题,求解,谢谢!答：以A代表全称量词，E代表存在量词，┐为否定联结词。F(x)：x怕困难，G(x)：x会获得成功，H(x)：x失败前提：Ax(F(x)→┐G(x))，Ax(G(x)∨H(x))，Ex(┐H(x))结论：Ex(┐F(x))证明：1 Ex(┐H(x))2 ┐H(c) 1EI 3 Ax(G(x)∨H(x))4 G(c)∨H(c) 3UI 5 G...

离散数学谓词逻辑问题:(p->∃xq(x)) -> ∃x(p->q) 请证明该式为重...答：证明：∵（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) ...

关于离散数学中命题“有的兔子比所有的乌龟跑得快。”的谓词逻辑命题的...答：证明：∃x(F(x)∧∀y(G(y)→H(x,y)))等值于∃x∀y(F(x)∧(G(y)→H(x,y)))1、先证充分性：∃x(F(x)∧∀y(G(y)→H(x,y)))→∃x∀y(F(x)∧(G(y)→H(x,y)))（1）∃x(F(x)∧∀y(G(y)→H(x,...

离散数学中命题逻辑的证明答：因为，结论对前提的词项进行了判断，所以，无法简单地用“命题逻辑”进行分析，必须借助于“谓词逻辑”。定义谓词：F(x)：x是花；G(x)：x是草；L(x)：人们都喜欢 x；前提：（1）人们都喜欢花：(Ax)(F(x)→L(x))；【A：表示全称量词】（2）人们都不喜欢草：(Ax)(G(x)→┐L(x))；结...

离散数字有一题在谓词逻辑中,将下列命题符号化,并构造该推理的证明...答：B(x):x喜欢运动 a:李明前提：∀x(A(x)→B(x)),A(a)结论：B(a)（1）∀x(A(x)→B(x)) P规则（2）A(a)→B(a) (1)（3）A(a) P规则（4）B(a) (2)(3)

大家正在搜

离散数学期末谓词逻辑题离散数学证明题题库如何做离散数学证明题离散数学推理理论证明题详解离散数学证明等价关系例题离散数学谓词推理题目离散数学消去量词例题离散数学例题离散数学划分例题

离散数学谓词逻辑证明的问题

离散数学谓词逻辑问题：(p->∃xq(x)) -...

离散数学的谓词逻辑题目

离散数学，谓词逻辑问题

离散数学谓词逻辑推理两道题目求解答

离散数学谓词逻辑问题

逻辑性/离散数学：一阶逻辑小证明题，答案都看不懂！感觉根本就...

离散数学谓词逻辑题目，如图，为什么有错