- 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