Mathematics
Fernando Cano's user avatar
Fernando Cano's user avatar
Fernando Cano's user avatar
Fernando Cano
  • Member for 7 years, 4 months
  • Last seen more than 7 years ago
Profile Activity
Stats
241
reputation
4k
reached
16
answers
0
questions
Communities
About

BA in Philosophy and MA in Philosophy of Science, Philosophy of Mathematics, and Logic. Currently pursuing a PhD.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
4
bronze badges
Top tags
View all tags
10
Score
14
Posts
88
Posts %
4
Score
2
Posts
12
Posts %
4
Score
1
Posts
6
Posts %
3
Score
3
Posts
19
Posts %
3
Score
3
Posts
19
Posts %
2
Score
2
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
4
Complete calculus of first-order logic working for empty structures too
Jun 1, 2016
answer
3
About free and bound variables
May 13, 2016
answer
2
Show that the set $\mathbb{N} \times \mathbb{N}$ can be expressed as the union of a countably infinite family of countable infinite sets.
May 22, 2016
answer
2
Is this a valid proof for: $A\cap B)\cup(A\cap C)\subseteq (A\cap (B\cup C))$
Jun 6, 2016
answer
1
Interpreting a first order sentence
May 13, 2016
answer
1
Meaning of "$r \to s$ is a tautology" in the definition of "implication" and "equivalence"
May 16, 2016
answer
1
Prove or disprove in propositional calculus
May 20, 2016
answer
1
Concerning substitution and existential elimination in classic natural deduction using sequents
Jun 1, 2016
answer
1
Propositional Logic - Can you Derive $C \to A$ from $A$ alone, given the introduction rule?
Jun 1, 2016
answer
1
Prove the formula is a contadiction
Jun 10, 2016

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.