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:
¬
F
1
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
