OckhamsRazor
Reputation
215
Top tag
Next privilege 250 Rep.
 Feb 1 awarded Popular Question Sep 9 awarded Popular Question Jul 2 awarded Curious Apr 8 asked Prove $a^{\smile \smile} =a$ where $a$ is a set. Apr 8 awarded Yearling Apr 8 accepted What does $x \in \{y | p(y)\} \Longleftrightarrow p(x)$ mean? Is it even true? Apr 8 comment What does $x \in \{y | p(y)\} \Longleftrightarrow p(x)$ mean? Is it even true? Thanks. Can we use this to prove $a^{\smile \smile} = a$ where $a$ is a set? How does textual substitution work with this equivalence? Apr 8 asked What does $x \in \{y | p(y)\} \Longleftrightarrow p(x)$ mean? Is it even true? Mar 16 comment Prove transitivity of relation. By the way, the last point to prove a congruence is to show $(a \sim b \land c \sim d) \implies a \cdot c \sim b \cdot d$. Is this similar to showing transitivity? Mar 16 accepted Prove transitivity of relation. Mar 16 comment Prove transitivity of relation. Thanks for the hints! They helped! Mar 16 asked Prove transitivity of relation. Jan 15 accepted What does $f:[0, 1] \rightarrow [0,1]\times[0, 1]$ mean? Jan 15 asked What does $f:[0, 1] \rightarrow [0,1]\times[0, 1]$ mean? Dec 16 awarded Tumbleweed Dec 8 accepted Boolean formula vs boolean function. Dec 8 asked Boolean formula vs boolean function. Dec 6 accepted Tautological implication : what does $\alpha \to \beta$ mean? Dec 6 asked Tautological implication : what does $\alpha \to \beta$ mean? Nov 23 accepted Unfamiliar with notation : $S \subseteq [d]$ where {$d, w_{1},w_{2}, …, w_{d}$}