p->r的推導(dǎo)

在邏輯學(xué)中，p->r表示命題p蘊(yùn)含命題r，也可以表示為“如果p，則r”。

在推導(dǎo)p->r的過程中，我們需要先確定p和r的真假情況。如果p為真，而r為假，那么p->r就是假的，因?yàn)橐粋€真命題不可能蘊(yùn)含一個假命題。因此，我們可以得出結(jié)論，只有當(dāng)p為真，而r為真或未知時，p->r才能成立。

http://www.fjhawl.com/common/images/Lxec0BgHzh_4.jpg

下面是一個具體的推導(dǎo)過程：

假設(shè)p為“今天是周五”，r為“我要去看電影”。

首先，我們需要確定p和r的真假情況。如果今天確實(shí)是周五，而我確實(shí)打算去看電影，那么p和r都為真。因此，p->r成立。

但如果今天是別的日子，或者我并不打算去看電影，那么p為假，r為假或未知。在這種情況下，p->r不成立。

從上述推導(dǎo)過程中，我們可以得出結(jié)論，p->r的成立與否取決于p和r的真假情況。只有當(dāng)p為真，而r為真或未知時，p->r才能成立。因此，在使用p->r進(jìn)行推導(dǎo)時，我們需要先確定p和r的真假情況，才能得出正確的結(jié)論。