query: Is the system of connectives $\{\lnot, \leftrightarrow\}$ complete?
positive_passages.docid: 149416
positive_passages.text: Show that $ \{\lnot,\leftrightarrow\} $ is not functional complete
negative_passages.docid: 120345
negative_passages.text: Topology induced by seminorms and initial topology
negative_passages.docid: 120911
negative_passages.text: Clarification on proof: Order of left cosets equal
negative_passages.docid: 45710
negative_passages.text: Finishing a proof: $f$ is injective if and only if it has a left inverse
negative_passages.docid: 45575
negative_passages.text: why each left ideal of this is minimal?
negative_passages.docid: 121732
negative_passages.text: Functional completeness of $\{\text{or},\text{ xor}, \text{ xnor}\}$
negative_passages.docid: 141714
negative_passages.text: Existence of a functor $\mathsf{Sets} \to \mathsf{Groups}$ that admits a left adjoint
negative_passages.docid: 114990
negative_passages.text: Is the complement of countably many disjoint closed disks path connected?
negative_passages.docid: 142815
negative_passages.text: Is Left associativity only for Postfix expression?
negative_passages.docid: 106101
negative_passages.text: Why there is much interest in the study of $\operatorname{Gal}\left(\overline{\mathbb Q}/\mathbb Q\right)$?
negative_passages.docid: 81423
negative_passages.text: Completeness and Topological Equivalence
negative_passages.docid: 154324
negative_passages.text: preservation of completeness under homeomorphism
negative_passages.docid: 48990
negative_passages.text: Linear map $f:V\rightarrow V$ injective $\Longleftrightarrow$ surjective
negative_passages.docid: 23225
negative_passages.text: Union of connected subsets is connected if intersection is nonempty
negative_passages.docid: 93606
negative_passages.text: Showing that $C[0,1]$ is not complete
negative_passages.docid: 70538
negative_passages.text: Intersection and union of simply connected domain
negative_passages.docid: 61962
negative_passages.text: Show $R$ is right-Artinian but not left-Artinian