Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Proof_by_contrapositive> ?p ?o }
Showing triples 1 to 38 of
38
with 100 triples per page.
- Proof_by_contrapositive abstract "In logic, the contrapositive of a conditional statement is formed by negating both terms and reversing the direction of inference. Explicitly, the contrapositive of the statement \"if A, then B\" is \"if not B, then not A.\" A statement and its contrapositive are logically equivalent: if the statement is true, then its contrapositive is true, and vice versa.In mathematics, proof by contraposition is a rule of inference used in proofs. This rule infers a conditional statement from its contrapositive. In other words, the conclusion \"if A, then B\" is drawn from the single premise \"if not B, then not A.\"".
- Proof_by_contrapositive wikiPageID "1015795".
- Proof_by_contrapositive wikiPageLength "2931".
- Proof_by_contrapositive wikiPageOutDegree "12".
- Proof_by_contrapositive wikiPageRevisionID "660854628".
- Proof_by_contrapositive wikiPageWikiLink Category:Mathematical_proofs.
- Proof_by_contrapositive wikiPageWikiLink Category:Methods_of_proof.
- Proof_by_contrapositive wikiPageWikiLink Category:Propositional_calculus.
- Proof_by_contrapositive wikiPageWikiLink Contraposition.
- Proof_by_contrapositive wikiPageWikiLink Direct_proof.
- Proof_by_contrapositive wikiPageWikiLink Indicative_conditional.
- Proof_by_contrapositive wikiPageWikiLink Logic.
- Proof_by_contrapositive wikiPageWikiLink Mathematical_proof.
- Proof_by_contrapositive wikiPageWikiLink Modus_tollens.
- Proof_by_contrapositive wikiPageWikiLink Proof_by_contradiction.
- Proof_by_contrapositive wikiPageWikiLink Reductio_ad_absurdum.
- Proof_by_contrapositive wikiPageWikiLink Rule_of_inference.
- Proof_by_contrapositive wikiPageWikiLinkText "Proof by contraposition".
- Proof_by_contrapositive wikiPageWikiLinkText "Proof by contrapositive".
- Proof_by_contrapositive wikiPageWikiLinkText "proof by contraposition (contrapositive)".
- Proof_by_contrapositive wikiPageWikiLinkText "proof by contrapositive".
- Proof_by_contrapositive wikiPageUsesTemplate Template:Merge.
- Proof_by_contrapositive wikiPageUsesTemplate Template:Reflist.
- Proof_by_contrapositive wikiPageUsesTemplate Template:Wikibooks.
- Proof_by_contrapositive subject Category:Mathematical_proofs.
- Proof_by_contrapositive subject Category:Methods_of_proof.
- Proof_by_contrapositive subject Category:Propositional_calculus.
- Proof_by_contrapositive type Method.
- Proof_by_contrapositive type Proof.
- Proof_by_contrapositive type Theorem.
- Proof_by_contrapositive comment "In logic, the contrapositive of a conditional statement is formed by negating both terms and reversing the direction of inference. Explicitly, the contrapositive of the statement \"if A, then B\" is \"if not B, then not A.\" A statement and its contrapositive are logically equivalent: if the statement is true, then its contrapositive is true, and vice versa.In mathematics, proof by contraposition is a rule of inference used in proofs.".
- Proof_by_contrapositive label "Proof by contrapositive".
- Proof_by_contrapositive sameAs Q20014476.
- Proof_by_contrapositive sameAs Demostración_por_contraposición.
- Proof_by_contrapositive sameAs m.05_5pff.
- Proof_by_contrapositive sameAs Q20014476.
- Proof_by_contrapositive wasDerivedFrom Proof_by_contrapositive?oldid=660854628.
- Proof_by_contrapositive isPrimaryTopicOf Proof_by_contrapositive.