Category:Principle of Non-Contradiction
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$
Pages in category "Principle of Non-Contradiction"
The following 17 pages are in this category, out of 17 total.
P
- Principium Contradictionis
- Principle of Non-Contradiction
- Principle of Non-Contradiction/Also known as
- Principle of Non-Contradiction/Explanation
- Principle of Non-Contradiction/Proof Rule
- Principle of Non-Contradiction/Proof Rule/Tableau Form
- Principle of Non-Contradiction/Sequent Form
- Principle of Non-Contradiction/Sequent Form/Formulation 1
- Principle of Non-Contradiction/Sequent Form/Formulation 1/Proof 1
- Principle of Non-Contradiction/Sequent Form/Formulation 1/Proof 2
- Principle of Non-Contradiction/Sequent Form/Formulation 2
- Principle of Non-Contradiction/Sequent Form/Formulation 2/Proof 1
- Principle of Non-Contradiction/Sequent Form/Formulation 2/Proof 2
- Proof by Cases with Contradiction