Go backward to Logic EvaluatorGo up to Top |

- Logical connectives.
- Truth tables.

- Domains, constants, interpretations.
- Terms
- Variables and assignments.
- Function applications.

- Atomic formulas.
- Quantified formulas.
- Free and bound variables; closed formulas.
- Universal and existential quantification.
- Local definitions.

Author: Wolfgang Schreiner

Last Modification: October 6, 1999