关于逻辑推理的一点问题（离散数学）

题目

关于逻辑推理的一点问题（离散数学）
有这样一个问题：（p→q） 且 （q→r） → （p→r）
其中（p→q） 且 （q→r）是前提,（p→r）是结论.
要使这个命题成立,必须要有（p→q） 且 （q→r） → （p→r）恒为真.
我想问的是：
1.前提如果为假,这个命题根据→的用法,不是应该是真的吗?
2.如果前提是对的话,结论一定是对的.这个说法正确吗?如果对的话那我们只要
求前提的真假不就好了吗?

答案