The Stack Overflow podcast is back! Listen to an interview with our new CEO.
Philosophy
Meta user
Network profile
454
reputation
5
16

Mathemanic

Apparently, this user prefers to keep an air of mystery about them.

0
answers
11
questions
~22k
people reached
  • Member for 5 years
  • 36 profile views
  • Last seen Jun 16 '17 at 18:12

Communities (19)

Top Meta Posts
1
0

Top network posts

Top tags (13)

Score 0
Posts 10
Posts % 91
Score 0
Posts 6
Score 0
Posts 5
Score 0
Posts 4
Score 0
Posts 2
Score 0
Posts 2
View all tags →

Top posts (11) All Questions Answers | Votes Newest

19 Selection of logical connectives {¬,∨,∧,⇒,⇔} in set theory? Sep 7 '15
10 Shouldn't statements be considered equivalent based on their meaning rather than truth tables? Aug 27 '15
7 Is it true that (P∧Q≡P)⇔(Q≡⊤)? Sep 29 '15
6 The difference between argument, inference, deduction and proof? Aug 27 '15
6 Syllogistic Logic: Negation of a Categorical Proposition? Sep 28 '14
4 How do you negate an “at least” statement? May 28 '15
4 Prove ∀w(∀v((v=w∧φ(v))⇔φ(w))) Oct 19 '15
4 Subformulas of the WFF (∀x) ((∀y) ((x ∈ y) ∨ (y ∈ x ))) Sep 25 '15
3 Implication Introduction formulated as a theorem? Feb 2 '17
2 Prove a logical formula is equivalent to the contradiction if and only if the set it describes is empty Sep 1 '15
View all questions and answers →

Badges (21)

Gold

—

Silver

5

Rarest

Bronze

16

Rarest

View all badges →