Go backward to Go up to TopGo forward to Syntax of Propositional Logic |

- Logic of formula composition:
- Basic formulas are "black boxes": only truth value known.
- Combination of simpler formulas to more complex ones.

*Logical Connective*- Syntactic operator that combines formulas to a new formula.
- F, T, ~, /\ , \/ , => , <=> .

*Rules for construction of formulas and computation of their meanings.*

Author: Wolfgang Schreiner

Last Modification: October 6, 1999