[syllogism]

I took them from the original post. I imagine they're the standard forms of the equations.