Outrageously Funny Word Dictionary :: Noncontradiction

👉 Non-contradiction, also known as "non-contraposition," is a mathematical concept in propositional logic that states that for any two statements A and B, if they are not both true, then at least one of them must be false. This means that the statement A implies the negation of B (i.e., A ∨ ¬B), which is equivalent to saying that A is a tautology. Non-contradiction is often used in logic and mathematics

noncontradiction