Mathematics
F. Zer's user avatar
F. Zer's user avatar
F. Zer's user avatar
F. Zer
  • Member for 5 years, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
2,311
reputation
38k
reached
19
answers
124
questions
Communities
View all
Badges
View all badges
1
gold badge
8
silver badges
20
bronze badges
Top tags
View all tags
32
Score
57
Posts
40
Posts %
31
Score
88
Posts
62
Posts %
21
Score
30
Posts
21
Posts %
4
Score
16
Posts
11
Posts %
4
Score
15
Posts
10
Posts %
2
Score
23
Posts
16
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
5
Is this a correct natural deduction proof?
Aug 31, 2020
question
5
Prove that $\lim_{x \to 2} 5x^2 = 20$ using $\epsilon - \delta$ definition.
Sep 15, 2020
question
4
How can I compute every possible tuple of lists from the elements V, V, V, M, M, M?
Jun 23
answer
4
Prove $(s \to p) \to (s \to q)$ using propositional logic
Sep 24, 2020
question
4
Prove $\forall x(A \vee B(x)) \therefore A \vee \forall xB(x)$.
Mar 23, 2020
answer
4
Given ∀x.(p(x) ⇒ q(x)), use the Fitch System to prove ∀x.p(x) ⇒ ∀x.q(x)
May 13, 2020
question
3
Show every positive integer can be written in one of the forms $3k$, $3k+1$, $3k+2$ for some integer $k$.
May 12, 2020
question
3
Symbolising set builder notation in First Order Logic.
Jun 4, 2020
question
3
Prove $\exists x(P(x) \land \forall y(P(y) \to y=x)) \vdash \exists x \forall y(P(y) \leftrightarrow y=x)$.
Apr 25, 2020
question
3
Understanding the simbolization of an "either or" in proofs.
Apr 25, 2020
Top network posts
View all network posts
9
Understanding the type of ($) operator
7
Did Bach name his pieces?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.