22 Answered Questions

15 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

11 Answered Questions

4 Answered Questions

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

6 Answered Questions

13 Answered Questions

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

6 Answered Questions

10 Answered Questions

6 Answered Questions

[SOLVED] When does the set enter set theory?

6 Answered Questions

[SOLVED] Confused between Nested Quantifiers

2 Answered Questions

[SOLVED] How is exponentiation defined in Peano arithmetic?

1 Answered Questions

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
  • 2092 View
  • 3 Score
  • 7 Answer
  • Tags:   logic

6 Answered Questions

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

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

2 Answered Questions

[SOLVED] How could we formalize the introduction of new notation?

  • 2016-07-18 14:02:26
  • Adam
  • 451 View
  • 3 Score
  • 2 Answer
  • Tags:   logic notation

1 Answered Questions

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

7 Answered Questions

3 Answered Questions

[SOLVED] How do I choose an element from a non-empty set?

13 Answered Questions

[SOLVED] Are proofs by contradiction really logical?

4 Answered Questions

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

2 Answered Questions

14 Answered Questions

8 Answered Questions

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

4 Answered Questions