Reputation
Next privilege 15,000 Rep.
Protect questions
Badges
5 26 86
Newest
 Nice Answer
Impact
~118k people reached

20h
answered Using elementary set theory to show the union of two sets is equal to the set difference of two sets
20h
comment What are the truth tables for the following logical statements?
@Daniel That's no problem. See this meta thread for some guidance on asking good questions.
21h
comment What are the truth tables for the following logical statements?
Let me add that your proposed negation is spot-on. See ProofWiki for a reference on constructing truth tables.
21h
comment What are the truth tables for the following logical statements?
Please do not ask multiple questions at once. This makes your question unlikely to be of help for future readers (who are unlikely to have trouble with precisely the same set of questions), and also harder to answer all of them in satisfying detail.
1d
answered Coproduct of rooted posets
Jun
26
revised Circles in circle
edited tags
Jun
25
comment Dually Dedekind Set and Weakly Dedekind set
This is the right idea, but is it right to speak about "orbit" when the function is not injective? I don't think I have seen the terminology in this case.
Jun
25
comment Dually Dedekind Set and Weakly Dedekind set
Please do not ask multiple questions at once. This makes your question unlikely to be of help for future readers (who are unlikely to have trouble with precisely the same set of questions), and also harder to answer all of them in satisfying detail.
Jun
25
answered Semi-partition or pre-partition
Jun
25
answered The recursion principle.
Jun
24
revised How do I notate this statement about a state of affairs (similar to a possible world)?
added 9 characters in body
Jun
24
answered How do I notate this statement about a state of affairs (similar to a possible world)?
Jun
24
answered Logical Equivalence: $\exists x((P(x) \land \lnot Q(x))\Leftrightarrow R(x)) \iff (\forall xP(x)\Rightarrow \exists y(Q(y) \lor R(y)))$
Jun
24
answered How do I prove propositions involving power sets and cartesian products?
Jun
22
reviewed Close off by 1 lottery probability
Jun
16
revised Series with $n$th term having integer raised to the power of $n$ in the denominator
deleted 3 characters in body
Jun
7
comment Undecidable statement of the form “$G$ is a group”
The question made me think of this. You might already know it, but it's nice in any case.
Jun
7
comment Undecidable statement of the form “$G$ is a group”
Do you mean "$x$ is an integer"? And I take it that you restrict $+_{\Bbb Z}$ to $G$ implicitly?
Jun
6
reviewed Close Prob. 10, Sec. 3.10 in Kreyszig's functional analysis book: Every isometric linear operator on a finite-dimensional inner product space is unitary?
Jun
6
reviewed Leave Open The contrapositive