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.