contrapositive

名詞

(logic) The inverse of the converse of a given proposition.

日本語の意味

論理学における用語で、ある命題の対偶、つまり与えられた命題の『converse（逆）』の逆として得られる命題を指す（例：『もしAならばB』の対偶『もし非Bならば非A』）。

To prove the theorem, she considered the contrapositive instead of the original implication.

定理を証明するために、彼女は元の含意ではなく、与えられた命題の対偶を考えた。

意味（1）

(logic) The inverse of the converse of a given proposition.

contrapositives

（ plural ）