Modus ponens

\[a , $a\to b$ / b\]

Proof and inference

\[p \vDash q\]

Further reading

• Logic: A very short introduction - G. Priest (2017, 2nd ed)- Oxford university press