Go backward to Propositional Consequences (Continued)
Go up to Top
Go forward to Example
Definition: A propositional formula with variables as subformulas is a (propositional) tautology if it is true for every assignment of truth values to the variables.
Example: A \/ ~A is a tautology.
Consequence: A general strategy to show that