1,155 reputation
1618
bio website
location
age 19
visits member for 3 years, 3 months
seen 21 hours ago

Nov
7
asked Determining equivalence classes of certain pairs for the relation $(a,b)R(c,d) \iff a^2 + 7b^2 = c^2 +7d^2$
Nov
7
asked Finding order properties in the relation $aSb \iff \exists k \in \mathbb{N} : b = ak$
Nov
7
asked Determining the properties for the relation over $P(\mathbb{N})$ where $ARB \iff A \cup B \in H$
Nov
7
asked What is the equivalence class of a relation's element?
Nov
7
asked Finding the first, last, minimal and maximal elements in these relations.
Nov
6
asked Is my transitivity proof correct for the relation over $\mathbb{Z} \times \mathbb{Z}$ where $(a,b)R(c,d) \iff (a \le c \lor b \le d)$?
Nov
6
asked How can I determine that a relation lacks a property without using a counterexample?
Nov
5
asked Properties of relation $R$ on $\mathbb{N} \times \mathbb{N}:\;(a,b)R(c,d) \iff a -c = b -d$
Nov
5
asked Is this equation to prove that $aRb \iff a^2 - b^2 = 1$ is antisymmetric correct?
Nov
5
asked Proving that the relation $a \le b \iff b - a \ge 0$ is antisymmetric and total.
Nov
4
asked Proving a relation's inverse's properties by knowing the original's.
Nov
4
asked How can I further simplify $(a \le b) \lor (b \le a)$ to prove that it is a tautology?
Nov
3
asked Proving that $aRb \iff a = b \lor a = b^2$ is antisymmetric.
Nov
3
asked Proving that $R$ is antisymmetric if and only if $G \cap G^{-1} \subseteq D$
Nov
3
asked In a boolean matrix, what does the $n$ in $M_{R^n}$ represent?
Sep
29
asked Determining the truth value of certain quantifiers based on this proposition being false.
Sep
29
asked Determining $A \triangle B = B - C \implies A \subseteq B$
Sep
28
asked How do I determine cardinalities, given the cardinality of other sets?
Sep
28
asked Determining $(X \cap Y \subseteq \overline{A} \land Y \subseteq B) \implies Y \subseteq B - A$
Sep
27
asked How should I interpret a “but” when symbolizing logic statements?