p->r的推导

在逻辑学中，p->r表示命题p蕴含命题r，也可以表示为“如果p，则r”。

在推导p->r的过程中，我们需要先确定p和r的真假情况。如果p为真，而r为假，那么p->r就是假的，因为一个真命题不可能蕴含一个假命题。因此，我们可以得出结论，只有当p为真，而r为真或未知时，p->r才能成立。

http://jsq.easiu.com/common/images/KS7qvXTJrg_2.jpg

下面是一个具体的推导过程：

假设p为“今天是周五”，r为“我要去看电影”。

首先，我们需要确定p和r的真假情况。如果今天确实是周五，而我确实打算去看电影，那么p和r都为真。因此，p->r成立。

但如果今天是别的日子，或者我并不打算去看电影，那么p为假，r为假或未知。在这种情况下，p->r不成立。

从上述推导过程中，我们可以得出结论，p->r的成立与否取决于p和r的真假情况。只有当p为真，而r为真或未知时，p->r才能成立。因此，在使用p->r进行推导时，我们需要先确定p和r的真假情况，才能得出正确的结论。