Go backward to Predicate Logic Go up to Top Go forward to Operational Interpretation

Terms

Definition: Term

A syntactic phrase whose semantics is a value (of the domain being considered).

	Meaning
Term	->	Domain Value