Go backward to
2.3.2.1 Conjunction
Go up to
2.3.2 Logical Connectives
Go forward to
2.3.2.3 Implication
2.3.2.2 Disjunction
DISJUNCTION ::= disjunction FORMULA+
A disjunction is written:
F
1
\/ ... \/ F
n
The sign displayed as a `V' in LaTeX is input as `
\/
'.
CoFI
Document: CASL/Summary --Version 0.99-- 21 April 1998.
Comments to
cofi-language@brics.dk
