Proof by contrapositive
id:
proof-by-contrapositive-248-12427816
title:
Proof by contrapositive
text:
In logic, the contrapositive of a conditional statement is formed by negating both terms and reversing the direction of inference. More specifically, the contrapositive of the statement "if A, then B" is "if not B, then not A." A statement and its contrapositive are logically equivalent, in the sense that if the statement is true, then its contrapositive is true and vice versa. In mathematics, proof by contrapositive, or proof by contraposition, is a rule of inference used in proofs, where one i
brand slug:
wiki
category slug:
encyclopedia
description:
Mathematical logic concept
original url:
https://en.wikipedia.org/wiki/Proof_by_contrapositive
date created:
date modified:
2024-04-20T12:08:32Z
main entity:
{"identifier":"Q20014476","url":"https://www.wikidata.org/entity/Q20014476"}
image:
fields total:
13
integrity:
14