Go backward to Propositional Consequences (Continued)Go up to TopGo 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 |

Author: Wolfgang Schreiner

Last Modification: November 30, 1999