query: Contradiction vs. contrapositive
positive_passages.docid: 17073
positive_passages.text: Using proof by contradiction vs proof of the contrapositive
negative_passages.docid: 51307
negative_passages.text: "Neither Michael nor Albert is correct" or "Neither Michael nor Albert are correct"?
negative_passages.docid: 65486
negative_passages.text: Contraposition and law of excluded middle
negative_passages.docid: 20030
negative_passages.text: Is an equivalence an adjunction?
negative_passages.docid: 121474
negative_passages.text: What are the differences between hypothesis, supposition, assumption, postulate, and axiom?
negative_passages.docid: 37156
negative_passages.text: How is double negation interpreted in English?
negative_passages.docid: 89808
negative_passages.text: When to use implication and when to use conjunction?
negative_passages.docid: 113640
negative_passages.text: Why is there this strange contradiction between the language of logic and that of set theory?
negative_passages.docid: 147947
negative_passages.text: Does double negation distribute over implication intuitionistically?
negative_passages.docid: 8100
negative_passages.text: How to answer a negative question without ambiguity?
negative_passages.docid: 154711
negative_passages.text: Is there a difference between Therefor and Therefore?
negative_passages.docid: 46700
negative_passages.text: What the matter is vs. what is the matter used in the affirmative
negative_passages.docid: 138641
negative_passages.text: "It isn't" vs. "it's not"
negative_passages.docid: 22193
negative_passages.text: Why, logically, is proof by contradiction valid?
negative_passages.docid: 11471
negative_passages.text: Ambiguity of “not.... because”
negative_passages.docid: 155679
negative_passages.text: If union of two theories is not consistent one of them implies a sentence which the other implies opposite of it
negative_passages.docid: 18051
negative_passages.text: Negation of 2 things: "and" or "or"?