Reputation
205
Top tag
Next privilege 250 Rep.
View close votes
Badges
1 7
Newest
 Curious
Impact
~4k people reached

  • 0 posts edited
  • 0 helpful flags
  • 10 votes cast
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}$}
Nov
23
asked Unfamiliar with notation : $S \subseteq [d]$ where {$d, w_{1},w_{2}, …, w_{d}$}
Oct
20
awarded  Commentator