p->r的推導

在邏輯學中，p->r表示命題p蘊含命題r，也可以表示為“如果p，則r”。

在推導p->r的過程中，我們需要先確定p和r的真假情況。如果p為真，而r為假，那么p->r就是假的，因為一個真命題不可能蘊含一個假命題。因此，我們可以得出結論，只有當p為真，而r為真或未知時，p->r才能成立。

http://m.ebankmanager.com/common/images/Lxec0BgHzh_4.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的真假情況，才能得出正確的結論。