Go backward to Propositional Consequences (Continued) Go up to Top Go forward to Example

Tautologies

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

A

B

is a propositional consequence is to show that A => B is a propositional tautology.