# Negation introduction

This can be written as: $(P \rightarrow Q) \and (P \rightarrow \neg Q) \leftrightarrow \neg P$