1.至少用两种方法证明¬p∨(r→¬q)和¬p∨¬q∨¬r等价
来源:学生作业帮 编辑:神马作文网作业帮 分类:数学作业 时间:2024/09/25 02:38:17
1.至少用两种方法证明¬p∨(r→¬q)和¬p∨¬q∨¬r等价
2.给出谓词P(x,y)的一个实例,使∃x∀y P(x,y)和∀x∃y P(x,y)有不同的真值
3.用推理规则证明:如果前提“所有的斑马都有条纹”,“马克是一匹斑马”是真的,那么结论“马克有条纹”是真的.
4.证明“如果地球是平的,那你就能行驶到地球边缘”;“你不能行驶到地球边缘”,因此,“地球不是平的”是有效论证.
2.给出谓词P(x,y)的一个实例,使∃x∀y P(x,y)和∀x∃y P(x,y)有不同的真值
3.用推理规则证明:如果前提“所有的斑马都有条纹”,“马克是一匹斑马”是真的,那么结论“马克有条纹”是真的.
4.证明“如果地球是平的,那你就能行驶到地球边缘”;“你不能行驶到地球边缘”,因此,“地球不是平的”是有效论证.
1. 至少用两种方法证明¬p∨(r→¬q)和¬p∨¬q∨¬r等价
答:1> 假如p = T,r = T,q = T;那么¬p = F, ¬q = F, ¬r = F, (r→¬q) =F 所以¬p∨(r→¬q) = F
¬p∨¬q∨¬r = F,所以¬p∨(r→¬q)和¬p∨¬q∨¬r等价.
2> 假如p = F,r = F,q = F;那么¬p = T, ¬q = T, ¬r = T, (r→¬q) = T所以¬p∨(r→¬q) = T
¬p∨¬q∨¬r = T,所以¬p∨(r→¬q)和¬p∨¬q∨¬r等价.
2. 给出谓词P(x,y)的一个实例,使∃x∀y P(x,y)和∀x∃y P(x,y)有不同的真值
答: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成立,是真的.
剩下两题自己琢磨,我不能都告诉你,以后作业我可以帮你做,但你得表示表示
答:1> 假如p = T,r = T,q = T;那么¬p = F, ¬q = F, ¬r = F, (r→¬q) =F 所以¬p∨(r→¬q) = F
¬p∨¬q∨¬r = F,所以¬p∨(r→¬q)和¬p∨¬q∨¬r等价.
2> 假如p = F,r = F,q = F;那么¬p = T, ¬q = T, ¬r = T, (r→¬q) = T所以¬p∨(r→¬q) = T
¬p∨¬q∨¬r = T,所以¬p∨(r→¬q)和¬p∨¬q∨¬r等价.
2. 给出谓词P(x,y)的一个实例,使∃x∀y P(x,y)和∀x∃y P(x,y)有不同的真值
答: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成立,是真的.
剩下两题自己琢磨,我不能都告诉你,以后作业我可以帮你做,但你得表示表示
1.至少用两种方法证明¬p∨(r→¬q)和¬p∨¬q∨¬r等价
┐(P∨Q→┐R)=(┐P∨Q)∧R如何证明
用“p→q=~p∨q”证明:(p→q)∧(q→r)=> p→r
离散数学命题证明题 前提:p→s,q→r,p∨q,┘r 结论:r
用推理规则证明】前提:p∨q,p->s,q->r 结论:s∨r
推理证明,前提,p->s.q->r.非r.p∨q结论s
证明 :P→(Q∨R)(S∨T)→P.S∨T =>Q∨R
(P→Q)∧(R→Q)<=>(P∨R)→Q
证明 (P∨Q)∧(P→R) ∧(Q→S) 1-S∨R
证明 P∧Q→R,┐R∨S,┐S => ┐P∨┐Q .
离散数学证明题:证明((Q∧R)-->S) ∧(R-->(P∨S))(R∧(P-->Q))-->S
《离散数学》证明题:证明R→S可从前提P→(Q→S),┐R∨P和Q推出.