The Axioms of Logic

These are our base assumptions. We assume them to be true, and combined with information we gain from testing, we can consistently achieve the best results:

Law of Identity: A thing is equal to itself (true = true). It follows that a thing is not equal to its negation (true ≠ false).

 

Law of Non-Contradiction: Something cannot be both true and false simultaneously (true × false = false).

 

Law of Excluded Middle: Everything must be either true or false.