TeX Quellcode:

{[(p}\rightarrow{q)}\wedge\neg{q]}\rightarrow\neg{p}