TeX source:
\{(p\to q),(p\to \neg q)\}\vdash \neg p