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
A |
B |