query: Logical puzzles and arguments
positive_passages.docid: 147556
positive_passages.text: Express logic puzzles with proposition calculus notation
negative_passages.docid: 98386
negative_passages.text: First-order logic and second-order logic confusion
negative_passages.docid: 107110
negative_passages.text: Solving Rubik's cube and other permutation puzzles
negative_passages.docid: 46423
negative_passages.text: Distributivity of quantifiers over logical connectives
negative_passages.docid: 94295
negative_passages.text: Pigeonhole-principle with two choices
negative_passages.docid: 121605
negative_passages.text: A coin tossing game which leads to a contradiction
negative_passages.docid: 138897
negative_passages.text: help with some Hilbert style proofs in a propositional logic axiom system.
negative_passages.docid: 108045
negative_passages.text: Show that are logically equivalent
negative_passages.docid: 67490
negative_passages.text: Restricing domains for universal and existential quantifiers
negative_passages.docid: 95851
negative_passages.text: Validity of an argument with a contradictory conclusion
negative_passages.docid: 126713
negative_passages.text: Strong induction and vacuous truth
negative_passages.docid: 101741
negative_passages.text: Selection of logical connectives {¬,∨,∧,⇒,⇔} in set theory?
negative_passages.docid: 88188
negative_passages.text: Explain proof by contradiction.
negative_passages.docid: 10272
negative_passages.text: A three-way duel (probability puzzle)
negative_passages.docid: 43700
negative_passages.text: Are proofs by contradiction really logical?
negative_passages.docid: 129062
negative_passages.text: Distinguishing definitions from equivalences.
negative_passages.docid: 67683
negative_passages.text: Building logical criteria (with AND , OR, etc)