The law of syllogism works as follows:
If (p implies q) and (q implies r) then (p implies r).
In symbolic terms, (p->q)^(q->r)->(p->r)

Log in or register to write something here or to contact authors.