Rudy’s OBTF Rudolf Adamkovič

Home / Logic / Law of excluded middle (LEM)

Usefulness

The law of excluded middle enables proof by cases.

© 2025 Rudolf Adamkovič under GNU General Public License (GPL) version 3 or later.
Made with Emacs and secret alien technologies of yesteryear.