Go backward to Syntax of Propositional Logic (Continued) Go up to Top Go forward to Operational Interpretation

Logical Constants

F, T.

• Other syntactic forms:
  • 0, 1.
  • wrong, right.
  • incorrect, correct.
  • false, true.
• Semantics:
  • Meaning of F is false.
  • Meaning of T is true.