9

Questions
votes newest views recent
1
2
votes
3
answers
832
views

First-order logic without equality and set theory

nov 24 at 9:47 what444 21●1

 
-1
votes
2
answers
472
views

How to demonstrate that the union of the singleton of a set is equal to that set?

feb 28 10 at 18:28 Francesco Turco 316●2●8

1
1
vote
2
answers
978
views

What does the disjunction elimination rule say?

may 12 11 at 16:56 MathOverflow♦ 1●2●3

 
1
vote
3
answers
551
views

Does the axiom of specification prevent writing any proof?

feb 21 10 at 1:13 Russell O'Connor 829●6●11

2
5
votes
6
answers
2k
views

Is there any proof assistant based on first-order logic?

sep 4 10 at 21:39 Dan Christensen 1

4
6
votes
6
answers
795
views

Do you know any good introductory resource on sequent calculus?

jan 11 at 22:18 jessealama 86●3

2
1
vote
1
answer
1k
views

Why are universal introduction and existential elimination valid inference rules?

feb 4 10 at 13:32 Neel Krishnaswami 6,065●1●8●37

 
3
votes
5
answers
1k
views

Is reflexivity of equality an axiom or a theorem?

feb 5 10 at 18:22 Francesco Turco 316●2●8

4
6
votes
5
answers
1k
views

How to define tuples?

jul 25 11 at 8:22 Ramesh Loar 1