In logic and mathematics, contraposition, or transposition, refers to the inference of going from a conditional statement into its logically equivalent contrapositive, and an associated proof method known as . The contrapositive of a statement has its antecedent and consequent negated and swapped.
In logic and mathematics, contraposition, or transposition, refers to the inference of going from a conditional statement into its logically equivalent contrapositive, and an associated proof method known as . The contrapositive of a statement has its antecedent and consequent negated and swapped.
Conditional statement P \rightarrow Q. In formulas: the contrapositive of P \rightarrow Q is \neg Q \rightarrow \neg P .
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).