Definition:Contradictory/Propositional Formulas
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
- 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability ... (previous) ... (next): $\S 1.9$: Finished Sets