Go backward to 220.127.116.11 Disjunction
Go up to 2.3.2 Logical Connectives
Go forward to 18.104.22.168 Equivalence
IMPLICATION ::= implication FORMULA FORMULA
An implication is written:
F1 => F2
The sign displayed as a double arrow in LaTeX
is input as `=>'.
An implication may also be written in reverse order:
F2 if F1
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to email@example.com