query: The \not operator and relation R
positive_passages.docid: 153770
positive_passages.text: How to type NOT \delta and NOT \ll
negative_passages.docid: 16223
negative_passages.text: can "not" substitute a negative independent clause
negative_passages.docid: 121361
negative_passages.text: Showing that $\lnot Q \lor (\lnot Q \land R) = \lnot Q$ without a truth table
negative_passages.docid: 127596
negative_passages.text: Composition of equivalence relations
negative_passages.docid: 5639
negative_passages.text: No \xrightrightarrow[a]{b}?
negative_passages.docid: 107158
negative_passages.text: grep with logic operators
negative_passages.docid: 151816
negative_passages.text: What is the semantics of 'is' operator in Python?
negative_passages.docid: 79695
negative_passages.text: Logical operators OR AND in condition and order of conditions in WHERE
negative_passages.docid: 70416
negative_passages.text: Coordinative ellipsis with not and unparellel structure
negative_passages.docid: 71977
negative_passages.text: Give an example of a relation R on $A^2$ which is reflexive, symmetric, and not transitive
negative_passages.docid: 130415
negative_passages.text: Negating quantifiers with brackets
negative_passages.docid: 128711
negative_passages.text: $(\Bbb Z\oplus \Bbb Z)[X] \not\cong \Bbb Z[X]\oplus \Bbb Z[X]\,$?
negative_passages.docid: 83023
negative_passages.text: From axiom of regularity, how can I prove $x \notin y \lor y \notin x$
negative_passages.docid: 35503
negative_passages.text: Understanding Python's "is" operator
negative_passages.docid: 140194
negative_passages.text: Using natural deduction to prove that $p \implies q \vdash \lnot p \lor q$
negative_passages.docid: 62208
negative_passages.text: If $A$ is a non-empty set, then $A \notin A$
negative_passages.docid: 140335
negative_passages.text: Prove that the empty relation is Transitive, Symmetric but not Reflexive