Respuesta :

mathmate

The law of syllogism is similar to the transitive property:

a->b and b->c  => a->c


So

p->q and _____ => p->r

will require the second proposition to be q->r, which completes the syllogism

p-> and q->r => p->r