Tankut Beygu's user avatar
Tankut Beygu's user avatar
Tankut Beygu's user avatar
Tankut Beygu
  • Member for 3 years, 11 months
  • Last seen this week
9 votes

What is the motivation for the axioms for Propositional Calculus in Mendelson's "Introduction to Mathematical Logic"?

6 votes
Accepted

What does this symbol (reversed 1?) mean?

5 votes
Accepted

First order logic: Why need variable not free in one of the logical axioms with universal quantifier

5 votes

Confusion about Löb's theorem

4 votes
Accepted

Why is multiplicative disjunction called "par" in linear logic?

3 votes

The definition of the cardinality of a signature

3 votes

Pinocchio logic test

2 votes
Accepted

Key Lemma for Elementary Submodels

2 votes
Accepted

Instantiation vs substitution in Smulyan's First order Logic

2 votes
Accepted

Prove or disprove (p→q)→r and p→(q→r) are equivalent using Logical Equivalence Laws (no truth table)

2 votes
Accepted

Is the necessitation inference rule necessary?

2 votes
Accepted

Did I Write this Statement Form in Polish Notation Correctly?

2 votes

Is elementary algebra consistent?

2 votes
Accepted

Why was it important for Peano arithmetic to prove ITS OWN consistency?

2 votes
Accepted

Finding three formulas such that they are consistent as pairs, but inconsistent when all three are together.

2 votes

Looking for "desktop reference" for logic

2 votes
Accepted

Bound variables and two variables in a proposition

2 votes
Accepted

Is it possible to use order relation in Presburger arithmetic?

2 votes

What is the scope of a variable in set-building notation?

2 votes

Are the two statements equivalent?

2 votes
Accepted

Understanding indexed families of sets

2 votes

Why does this solution to Russell's Paradox not have a contradiction?

2 votes
Accepted

Texts on the logic of chess

2 votes
Accepted

Question about derivation of $\phi, \neg \phi \vdash \psi$ with constructive propositional logic system

2 votes
Accepted

Exercise 2.28 of the book "Mathemathical Proof: A Transition to advanced mathematics (4th edition)"

2 votes
Accepted

On the Consistency of Non-Euclidean Geometry

2 votes
Accepted

Universal Specification and "Terms" in Axiomatic Set Theory.

2 votes

circular logic: saying addition in commutative because it is commutative

1 vote

In modal logic, what is 'classical entailment'?

1 vote

Is $ \forall x \forall y P(x, y)$ equivalent to $\forall y \forall x P(x, y)$

1
2 3 4 5