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)