Go backward to
2.3.2.2 Disjunction
Go up to
2.3.2 Logical Connectives
Go forward to
2.3.2.4 Equivalence
2.3.2.3 Implication
IMPLICATION ::= implication FORMULA FORMULA
An implication is written:
F
1
=> F
2
The sign displayed as a double arrow in LaTeX is input as `
=>
'. An implication may also be written in reverse order:
F
2
if F
1
CoFI
Document: CASL/Summary --Version 0.99-- 21 April 1998.
Comments to
cofi-language@brics.dk
