There are multiple ways to write logical argument or inference rules in Latex, but bussproofs is a great package that also works with MathJax.

References