Lattice-ordered Groups Inequations Quiz
The randomly generated
(in)equations below are in the language of l-groups. Specifically,
the language used here has
- constant symbols:
- binary operation symbols:
- binary predicate symbols:
The variables in capital letters are the inverses of the corresponding
lower case letters.
Decide if the following inequations are true in all
lattice-ordered groups.