previous up next
Go backward to Term
Go up to Top
Go forward to Term Algebra
RISC-Linz logo


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

previous up next