Lukas' Notes

Contradiction (Propositional Logic)

1 min read

Definition

Contradiction (Propositional Logic)

A formula is a contradiction (or unsatisfiable) if it is false under every interpretation.

Backlinks

Contradiction Characterization of Equivalence (Propositional Logic)
Entailment (Propositional Logic)
Entailment–Unsatisfiability Duality (Propositional Logic)
Falsum
Model (Propositional Logic)
Splitting Algorithm (Propositional Logic)
Splitting Tree (Propositional Logic)
Tableaux (Propositional Logic)
Tautology (Propositional Logic)
Unsatisfiability–Validity Duality (Propositional Logic)
Validity–Unsatisfiability Duality (Propositional Logic)

Created with Quartz v4.5.2 © 2026

GitHub