Definition:Contradictory/Propositional Formulas

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\Delta$ be a set of propositional formulas.


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


Sources