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)
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.