OckhamsRazor
Reputation
205
Top tag
Next privilege 250 Rep.
 Jul2 awarded Curious Apr8 asked Prove $a^{\smile \smile} =a$ where $a$ is a set. Apr8 awarded Yearling Apr8 accepted What does $x \in \{y | p(y)\} \Longleftrightarrow p(x)$ mean? Is it even true? Apr8 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? Apr8 asked What does $x \in \{y | p(y)\} \Longleftrightarrow p(x)$ mean? Is it even true? Mar16 comment Prove congruence relation. $\sim$ takes two arguments. Mar16 comment Prove congruence relation. Well, I expanded the antecedent, leading to 4 cases. Next, I was able to prove 2 of the cases. However, the one im having problem with is the case $(w=x) \land (y \in I \land z \in I) \implies w \cdot y \sim x \cdot z$. If I can solve that them I'm done. Mar16 asked Prove congruence relation. Mar16 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? Mar16 accepted Prove transitivity of relation. Mar16 comment Prove transitivity of relation. Thanks for the hints! They helped! Mar16 asked Prove transitivity of relation. Jan15 accepted What does $f:[0, 1] \rightarrow [0,1]\times[0, 1]$ mean? Jan15 asked What does $f:[0, 1] \rightarrow [0,1]\times[0, 1]$ mean? Dec16 awarded Tumbleweed Dec8 accepted Boolean formula vs boolean function. Dec8 asked Boolean formula vs boolean function. Dec6 accepted Tautological implication : what does $\alpha \to \beta$ mean? Dec6 asked Tautological implication : what does $\alpha \to \beta$ mean?