query: Functional completeness of ¬ and ∧
positive_passages.docid: 16187
positive_passages.text: proof of functional completeness of logical operators
negative_passages.docid: 28281
negative_passages.text: Different standards for writing down logical quantifiers in a formal way
negative_passages.docid: 53056
negative_passages.text: natural deduction: introduction of universal quantifier and elimination of existential quantifier explained
negative_passages.docid: 62709
negative_passages.text: Functions that are sets of all function - proofs
negative_passages.docid: 125950
negative_passages.text: Proof strategy involving first order logic for existential quantification at very beginning
negative_passages.docid: 123002
negative_passages.text: Bartle 6.J. proof completion
negative_passages.docid: 67490
negative_passages.text: Restricing domains for universal and existential quantifiers
negative_passages.docid: 56351
negative_passages.text: Prove that these statements $(A \lor \neg B)$ and $\neg A \to \neg B$ are logically equivalent
negative_passages.docid: 15842
negative_passages.text: Lambda calculus expression reduction
negative_passages.docid: 42590
negative_passages.text: Understanding implication in logic truth tables (excerpt from textbook)
negative_passages.docid: 101741
negative_passages.text: Selection of logical connectives {¬,∨,∧,⇒,⇔} in set theory?
negative_passages.docid: 130415
negative_passages.text: Negating quantifiers with brackets
negative_passages.docid: 93557
negative_passages.text: Intuitively, why does (B → S) ≡ (¬B ∨ S)?
negative_passages.docid: 49994
negative_passages.text: Deduction of $\forall y \exists x (x=y)$
negative_passages.docid: 32244
negative_passages.text: Propositional Logic - Deduction
negative_passages.docid: 102899
negative_passages.text: Category theory with objects as logical expressions over $\{\vee,\wedge,\neg\}$ and morphisms as?
negative_passages.docid: 147947
negative_passages.text: Does double negation distribute over implication intuitionistically?