Up Next
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:

F1   /\   ...   /\   Fn
The sign displayed as an inverted `V' in LaTeX is input as `/\'.
CoFI Document: CASL/Summary --Version 0.99-- 21 April 1998.
Comments to cofi-language@brics.dk

Up Next