关于逻辑推理的一点问题（离散数学）有这样一个问题：（p→q） 且 （q→r） → （p→r）其中（p→q） 且 （q→r）是前提,（p→r）是结论.要使这个命题成立,必须要有（p→q） 且 （q→r） → （p→r）恒为真.我想问的是：1.前提如果为假,这个命题根据→的用法,不是应该是真的吗?2.如果前提是对的话,结论一定是对的.这个说法正确吗?如果对的话那我们只要求前提的真假不就好了吗?
2019-05-29
关于逻辑推理的一点问题（离散数学）
有这样一个问题：（p→q） 且 （q→r） → （p→r）
其中（p→q） 且 （q→r）是前提,（p→r）是结论.
要使这个命题成立,必须要有（p→q） 且 （q→r） → （p→r）恒为真.
我想问的是：
1.前提如果为假,这个命题根据→的用法,不是应该是真的吗?
2.如果前提是对的话,结论一定是对的.这个说法正确吗?如果对的话那我们只要
求前提的真假不就好了吗?
优质解答
从你的题目中,只能得到p→q和q→r 是真,因为这2个条件是证明题的前提,
并不能直接得出：（q→r） → （p→r）恒为真.
前提是对的,结论一定对是建立在这个命题是真命题的基础上.而你要做的就是证明这个命题是真命题或者是假命题.
从你的题目中,只能得到p→q和q→r 是真,因为这2个条件是证明题的前提,
并不能直接得出：（q→r） → （p→r）恒为真.
前提是对的,结论一定对是建立在这个命题是真命题的基础上.而你要做的就是证明这个命题是真命题或者是假命题.