if P->q is true and q->r is true them the conclusión of p->r is also true this is called?​