Definition:Contradictory/Propositional Formulas

Definition
Let $\Delta$ be a set of logical formulas.

Then $\Delta$ is contradictory if there exists some logical formula $P$ such that $P \in \Delta$ and $\neg P \in \Delta$.