Go backward to Term
Go up to Top
Go forward to Term Algebra

Formula

The set Formula is defined by

T in Formula

forall x in Formula: not(x) in Formula,

forall x in Formula, y in Formula: and(x, y) in Formula,

forall x in Variable, y in Formula: forall(x, y) in Formula

with constructors "T", "not", "and", "forall".

An element of Formula is forall(X, and(T, or(T, F))) (assuming X in Variable).

Author: Wolfgang Schreiner
Last Modification: November 24, 1999