👉 In logic, a term that is not logically valid or consistent with other terms in the system. For example, if we have two propositions A and B, then their negation (A' = ~A) is not logically valid because it cannot be derived from the truth values of A and B.
