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

Syntax of Propositional Logic

Let A and B be formulas. Then the following are formulas:

• Logical constants: F, T.

  "false", "true".

• Negation: (~A).

  "not A".

Connectives of arity 0 and 1.