Ortholattice Independence Proofs

Back to the Main Page

Many of the independence proofs are trivial, and it might seem like overkill to use Mace to find models showing independence.

The following rules could have been used instead of many of Mace's independence proofs.