Contradiction (Propositional Logic)

propositional-logic

Definition

Contradiction (Propositional Logic)

A propositional formula is a contradiction (or unsatisfiable) if it is false under every truth assignment.