21 Answered Questions

14 Answered Questions

8 Answered Questions

2 Answered Questions

3 Answered Questions

[SOLVED] What are the prerequisites for studying mathematical logic?

1 Answered Questions

[SOLVED] Are sets and symbols the building blocks of mathematics?

1 Answered Questions

4 Answered Questions

[SOLVED] How do I convince someone that $1+1=2$ may not necessarily be true?

6 Answered Questions

11 Answered Questions

13 Answered Questions

[SOLVED] Why is "the set of all sets" a paradox, in layman's terms?

10 Answered Questions

6 Answered Questions

[SOLVED] Confused between Nested Quantifiers

4 Answered Questions

[SOLVED] What is the "correct" reading of $\bot$?

7 Answered Questions

[SOLVED] Understanding Vacuously True (Truth Table)

  • 2015-11-29 12:34:50
  • Tom Chalmer
  • 1827 View
  • 3 Score
  • 7 Answer
  • Tags:   logic

7 Answered Questions

6 Answered Questions

1 Answered Questions

1 Answered Questions

[SOLVED] Is Gödel's modified liar an illogical statement?

6 Answered Questions

[SOLVED] When does the set enter set theory?

6 Answered Questions

[SOLVED] How to avoid perceived circularity when defining a formal language?

  • 2012-07-22 00:37:17
  • riceissa
  • 2897 View
  • 39 Score
  • 6 Answer
  • Tags:   logic

2 Answered Questions

[SOLVED] How is exponentiation defined in Peano arithmetic?

4 Answered Questions

[SOLVED] How do we know what natural numbers are?

14 Answered Questions

2 Answered Questions

8 Answered Questions

[SOLVED] Are the "proofs by contradiction" weaker than other proofs?

5 Answered Questions

[SOLVED] Implies vs. Entails vs. Provable

  • 2013-01-24 19:14:53
  • user287424
  • 24161 View
  • 58 Score
  • 5 Answer
  • Tags:   logic

5 Answered Questions

[SOLVED] Example of set which contains itself

4 Answered Questions

[SOLVED] Write ‘There is exactly 1 person…’ without the uniqueness quantifier

  • 2013-05-17 15:33:57
  • BustedZen
  • 19922 View
  • 10 Score
  • 4 Answer
  • Tags:   logic quantifiers