1楼:大咩
1、复p->q 前提引入
2、p 附加制前提引入(结论为蕴含式时可以用)3、q 1、2假言推理.
4.pvq 2,3附加律
所以就可以证出前提是p蕴含q 结论是p蕴含(p且q) 。希望对你有帮助。
【离散数学 用推理规则证明】前提: p∨q, p->s, q->r 结论: s∨r
2楼:
用反证法也就是归谬法。
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,所以原推理是正确的。
----
推理规则术语参考自《离散数学》耿素云 屈婉玲
3楼:匿名用户
证明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)构造性二难式
即证得。
离散数学逻辑推理证明
4楼:匿名用户
证明过程如图,其中(3)用附加前提证明法,把结论中的前件引入。
5楼:宇宙机
p蕴含q等价于非p或q,用这个等价式和前提很容易得到结论
格林公式中的函数P，Q的理解,你好！请问你对格林公式里的P(x,y)与Q(x,y)是怎么理解的？ 目前正在自学高数，到这里卡住了。
1楼 匿名用户 p q 代表两个函数啊 根据题目不同相应改变 你好！请问你对格林公式里的p x y 与q x y 是怎么理解的？ 目前正在自学高数，到这里卡住了。 2楼 匿名用户 p x y 与q x y 其实就是破坏函数 对于f x y p x y i q x y j，f x y 都正交分解了怎么...