Prev Up
Go backward to 2.3.2.4 Equivalence
Go up to 2.3.2 Logical Connectives

2.3.2.5 Negation

      NEGATION ::= negation FORMULA

A negation is written:

¬ F1
The sign displayed as `¬ ' may be input as `¬ ' in ISO Latin-1, or as `not' in ASCII.
CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to cofi-language@brics.dk

Prev Up