Up Next
Go up to 2.3.3 Atomic Formulae
Go forward to Predicate Application Truth

      TRUTH ::= true | false

The atomic formulae true and false are written `true', `false'.

They are always well-sorted, and expand to primitive sentences, such that the sentence for `true' always holds, and the sentence for `false' never holds.

CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to cofi-language@brics.dk

Up Next