Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Philosophy
Meta User
Network Profile
449
reputation
5
16

Mathemanic

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

0
answers
11
questions
~20k
people reached
  • Member for 4 years, 7 months
  • 33 profile views
  • Last seen Jun 16 '17 at 18:12

Communities (18)

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

18 Selection of logical connectives {¬,∨,∧,⇒,⇔} in set theory? Sep 7 '15
11 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 Syllogistic Logic: Negation of a Categorical Proposition? Sep 28 '14
5 The difference between argument, inference, deduction and proof? Aug 27 '15
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 →