\begin{definition}[Definition:Contradictory/Propositional Formulas]
Let $\Delta$ be a set of propositional formulas.
Then $\Delta$ is '''contradictory''' if there exists some propositional formula $P$ such that $P \in \Delta$ and $\neg P \in \Delta$.
\end{definition}