Go up to
2.3.2 Logical Connectives
Go forward to
2.3.2.2 Disjunction
2.3.2.1 Conjunction
CONJUNCTION ::= conjunction FORMULA+
A conjunction is written:
F
1
/\ ... /\
F
n
The sign displayed as an inverted `V' in LaTeX is input as `
/\
'.
CoFI
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to
cofi-language@brics.dk
