逻辑推理中关于假设命题的一个小问题

1.第一个问题——如果知道假言命题p→q，能否得到假言命题q←p？两者相等吗？

参考答案:两者相等。P→q表示P和Q是充分条件假设，q←p表示Q和P是必要条件假设。充分条件和必要条件可以通过两种方式互换:一种是改变前后部分的真值，一种是改变前后部分的位置。你在这里使用方法二。就像你上面的例子-如果你想健康，你必须有足够的锻炼。可以换成:只有足够的运动才能让你健康。

2.例子确实是一个条件充分的假设命题，你的理解是正确的。因为充分条件假设命题的逻辑性质是:“必然”——如果前者为真，后者必然为真。这就是你的意思。