Go backward to
Formality vs Informality
Go up to
Top
Go forward to
Operational Interpretation
Preliminaries
Truth values
(
Boolean values
):
true
,
false
.
Formula
:
Syntactic phrase whose semantics is a truth value
Syntax
: external representation.
Semantics
: underlying meaning.
Meaning
Formula
->
Truth Value
Author:
Wolfgang Schreiner
Last Modification: October 6, 1999