1楼：呆子丹
推出任意x（非p（x）∪q（x））
非p(y)∪q(z)
p(y)→q(z)
任意xp(x)→任意xq(x)
离散数学蕴含式证明，第二题a问题，求解！ 10
2楼：小乐笑了
可以用逻辑恒等式来证明：
p→q p∨q
（p∨p）∧（p∨q）
p∨（p∧q）
p→（p∧q）
离散数学蕴涵式充分和必要条件怎么判断
3楼：匿名用户
p 是 q 的充分条件：如果 p 成立,q 就一定成立；反之如果 p 不成立,q 却有可能成立.p 是 q 的必要条件：
如果 p 不成立,q 就一定不成立；反之如果 p 成立,q 也有可能不成立.
离散数学蕴含式 5
4楼：匿名用户
蕴含式：由命题 p，q 产生的复合命题 “若 p 则 q”，称为 p 蕴涵 q，记为 p→q，称 p 为蕴涵式的前件，q 为蕴涵式的后件，“ →” 为蕴涵联结词。
p→q 为假当前仅当 p 真 q 假。
5楼：化外人
硬背下来，
其实你列举的几个都是说如果p成立，则q必须成立，蕴含联结词确实为很多人诟病，并且还有很多替代方案，但是替代方案都更复杂，而且没有一个得到大家公认，因此用蕴含联结词是最简单的情况，其它更复杂的逻辑，要专门去读逻辑专业，
逻辑的基础到底可靠不可靠，这个不是逻辑内部能解决的，要到哲学里去讨论，所以对蕴含联结词到底合理不合理这件事，哲学上看法五花八门，
如果你对这个问题感兴趣，可以找逻辑哲学方面的书看看，不过内容都很难
【离散数学 用推理规则证明】前提: p∨q, p->s, q->r 结论: s∨r
6楼：
用反证法也就是归谬法。
1 ┐(s∨r) 否定前提引入
2 ┐s∧┐r 1置换
3 ┐s 2化简
4 p→s 前提引入
5 ┐p 34拒取式
6 ┐r 2化简
7 q→r 前提引入
8 ┐q 67拒取式
9 ┐p∧┐q 58合取
10 ┐(p∨q) 9置换
11 p∨q 前提引入
12 (┐(p∨q))∧(p∨q) 11,12合取因为 (┐(p∨q))∧(p∨q)<=>0，所以原推理是正确的。
－－－－
推理规则术语参考自《离散数学》耿素云 屈婉玲
7楼：匿名用户
证明1：
1）┐s 附加前提引入2）p→s 前提引入3）┐p 1）3）拒取式4）p∨q 前提引入5）q 3）4）析取三段式
6）q→r 前提引入7）r 5）6）假言推理
由1）7）得知┐s→r ，即证得s∨r。
证明2：
1）p→s 前提引入2）q→r 前提引入3）p∨q 前提引入4）s∨r 1）2）3）构造性二难式
即证得。
离散数学中蕴含关系的证明方法 100
8楼：匿名用户
不太明白您的意思，蕴含关系本就是一个用来构成复合命题而专门定义的联接词，它的规则就如定义它本身时的真值表所示，二元变量的一种布尔函数关系，还要证明吗？
求教，离散数学里的蕴含关系的意义到底是什么
9楼：小乐笑了
蕴含用→表示，意义就是a→b，当且仅当a为真，b为假，此式才为假，其余情况都为真
离散数学问题：证明a→(b→c),乛d∨a,b重言蕴含d→c
10楼：小乐笑了
等价蕴含式：b→
cb∨c
前提3: b
c则(b→c)→c ①
前提2 乛d∨ad→a
前提1 a→(b→c)
d→(b→c) ②
由①、②，得到d→c
离散数学推理证明的思路是怎么样的？ 20
11楼：小乐笑了
思路就是，利用将结论中出现的命题变元，尽可能往前提条件中靠，
比如利用一些永真蕴含式、蕴含连接符的传递性等等
离散数学中蕴含关系怎么证明,离散数学中蕴含关系的证明方法 100
1楼 普海的故事 不太明白您的意思，蕴含关系本就是一个用来构成复合命题而专门定义的联接词，它的规则就如定义它本身时的真值表所示，二元变量的一种布尔函数关系，还要证明吗？ 离散数学中蕴含关系的证明方法 100 2楼 匿名用户 不太明白您的意思，蕴含关系本就是一个用来构成复合命题而专门定义的联接词，它的...