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 --Version 0.99-- 21 April 1998.
Comments to
cofi-language@brics.dk
