contradiction

A proposition is a contradiction if (when we can prove that is always false).

For complete logic, contradiction is equivalent to unsatisfiable.

Keep in mind that the concept of contradiction differs from that of contraries. Contraries only require that both propositions cannot be true simultaneously, but they can both be false at the same time.

Related

• proof by contradiction