Go up to 2.2 Propositional Logic Go forward to 2.2.2 Negations

2.2.1 Logical Constants

F,

T.

Syntactic Forms  Logical constants may appear in various forms, e.g. as

• 0, 1;
• "wrong", "right";
• "incorrect", "correct";
• false, true.

The last form is most frequently used; please do not confuse these formulas with the truth values true and false.

Again, please note the distinction between the two layers of syntax (`F', `T') and semantics (true, false).

The Logic Evaluator uses the syntax false and true both for (the input of) logical constants and for (the output of) truth values. However, by above explanation it should be clear that the input denotes a formula while the output prefixed by the token `>' denotes the meaning of this formula.