Go backward to Propositional LogicGo up to TopGo forward to Syntax of Propositional Logic (Continued) |

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.*

Author: Wolfgang Schreiner

Last Modification: October 6, 1999