> 数学 >
关于逻辑推理的一点问题(离散数学)
有这样一个问题:(p→q) 且 (q→r) → (p→r)
其中(p→q) 且 (q→r)是前提,(p→r)是结论.
要使这个命题成立,必须要有(p→q) 且 (q→r) → (p→r)恒为真.
我想问的是:
1.前提如果为假,这个命题根据→的用法,不是应该是真的吗?
2.如果前提是对的话,结论一定是对的.这个说法正确吗?如果对的话那我们只要
求前提的真假不就好了吗?
人气:491 ℃ 时间:2020-03-29 22:49:16
解答
从你的题目中,只能得到p→q和q→r 是真,因为这2个条件是证明题的前提,
并不能直接得出:(q→r) → (p→r)恒为真.
前提是对的,结论一定对是建立在这个命题是真命题的基础上.而你要做的就是证明这个命题是真命题或者是假命题.哦哦,就是说逻辑推理,就是假定前提都是对的,然后根据前提,推导整个命题是否为真。(p→q) 且 (q→r) → (p→r)恒为真。我的理解对吗?你的问题是否有写错,我猜你写的(q→r) → (p→r)是不是应该写成(q→r)=>(p→r)一个是条件关系,一个是蕴含关系我看到的一个教程就是写成→,网上其他写的就是=>。那可能你看的教程写错了如果(q→r) → (p→r),题目就没有意义了嗯,那我就明白了,多谢。
推荐
猜你喜欢
© 2024 79432.Com All Rights Reserved.
电脑版|手机版