Category:Principle of Non-Contradiction

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Principle of Non-Contradiction:


The principle of non-contradiction is a valid argument in types of logic dealing with negation $\neg$ and contradiction $\bot$.

This includes classical propositional logic and predicate logic, and in particular natural deduction.


Proof Rule

If we can conclude both $\phi$ and $\neg \phi$, we may infer a contradiction.


Sequent Form

$p, \neg p \vdash \bot$