Go backward to
Logic Evaluator
Go up to
Top
Summary
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