Logical Constants
There are two logical constants which can be used to construct sentences: true
and false
. These constants are case sensitive.
Examples
The following are examples of well formed sentences which use logical constants:
true
true -> true | false
~^X(false)