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
5.8m questions
7.6m answers