query: logical deduction question
positive_passages.docid: 142526
positive_passages.text: What's the intuition behind difference of $\neg(S\land E)$ and $\neg S \land \neg E$?
negative_passages.docid: 93410
negative_passages.text: How to prove ~ (~P & ~Q) : P ∨ Q by natural deduction
negative_passages.docid: 57724
negative_passages.text: How to prove boolean ordering question
negative_passages.docid: 109858
negative_passages.text: How could a statement be true without proof?
negative_passages.docid: 93327
negative_passages.text: Negation of if and only if?
negative_passages.docid: 14849
negative_passages.text: Decidability of a predicate.
negative_passages.docid: 22856
negative_passages.text: Ways to go from A to B(proof)
negative_passages.docid: 79341
negative_passages.text: Question on a probability question
negative_passages.docid: 114476
negative_passages.text: Problem solving Logical Equivalence Question
negative_passages.docid: 79695
negative_passages.text: Logical operators OR AND in condition and order of conditions in WHERE
negative_passages.docid: 153440
negative_passages.text: Is logical implication always determinable from just the given statements?
negative_passages.docid: 6166
negative_passages.text: Is the following statement provable?
negative_passages.docid: 87257
negative_passages.text: How to prove this sequent using natural deduction?
negative_passages.docid: 77332
negative_passages.text: Extremely difficult logic question using conditional statement
negative_passages.docid: 27550
negative_passages.text: How is (p ∧ q ∧ ¬r) ∨ (p ∧ ¬q ∧ ¬r) ≡ (p ∧ ¬r) ∨ (¬q ∧ q)? Is it really distributive property?
negative_passages.docid: 73231
negative_passages.text: Why in implication, if premise is false then implication is true?
negative_passages.docid: 51243
negative_passages.text: Proving a Statement using Mathematical Induction