Question

First-order logic question related to the Four Square Theorem

score 176 · Answer 1 · 2016-09-27 04:43:36

176

Views

First-order logic question related to the Four Square Theorem

Published on 27 Sep 2016 - 4:43

score 16.8k · Answer 2 · 2016-09-27 04:58:18

16.8k

Views

What does ∀x∃y actually mean?

Published on 27 Sep 2016 - 4:58

score 72 · Answer 3 · 2016-09-27 05:41:45

72

Views

Question about mathematical logic with set and inclusion relation

Published on 27 Sep 2016 - 5:41

score 361 · Answer 4 · 2016-09-28 17:37:58

361

Views

Definability of a set

Published on 28 Sep 2016 - 17:37

score 131 · Answer 5 · 2016-09-28 18:37:24

131

Views

Show that ${\forall x(\alpha \to \beta), \forall x \alpha} \vDash \forall x \beta$

Published on 28 Sep 2016 - 18:37

score 168 · Answer 6 · 2026-04-01 15:25:12

168

Views

Decidability of validity of a sentence with only one quantifier

Published on 01 Apr 2026 - 15:25

score 406 · Answer 7 · 2026-04-01 15:01:22

406

Views

Are there textbooks on logic where the references to set theory appear only after the construction of set theory?

Published on 01 Apr 2026 - 15:01

score 1.4k · Answer 8 · 2016-09-30 09:20:59

1.4k

Views

Using the terms 'theorem 'and 'tautology'

Published on 30 Sep 2016 - 9:20

score 110 · Answer 9 · 2016-09-30 15:59:24

The natural numbers that satisfy a quantifier-free formula are either finitely many, or all the natural numbers except finitely many?

score 200 · Answer 10 · 2016-09-30 17:12:56

200

Views

Two questions on the Gödel sentence

Published on 30 Sep 2016 - 17:12

score 52 · Answer 11 · 2016-09-30 21:56:17

52

Views

Confused about definability of a function in logic

Published on 30 Sep 2016 - 21:56

score 17 · Answer 12 · 2016-10-01 01:26:25

17

Views

How do you represent this statement in first order number logic?

Published on 01 Oct 2016 - 1:26

score 157 · Answer 13 · 2026-03-25 19:02:39

157

Views

Formalise: "It ain't over, till it's over"

Published on 25 Mar 2026 - 19:02

score 715 · Answer 14 · 2016-10-02 01:27:39

715

Views

How to express subset notation in first order set theory?

Published on 02 Oct 2016 - 1:27

score 53 · Answer 15 · 2026-04-01 15:26:34

53

Views

Does $\forall a,b\in X: P(a,b)$ mean $\forall a\in X: \forall b\in X: P(a,b)$?

Published on 01 Apr 2026 - 15:26

List Question

First-order logic question related to the Four Square Theorem

What does ∀x∃y actually mean?

Question about mathematical logic with set and inclusion relation

Definability of a set

Show that ${\forall x(\alpha \to \beta), \forall x \alpha} \vDash \forall x \beta$

Decidability of validity of a sentence with only one quantifier

Are there textbooks on logic where the references to set theory appear only after the construction of set theory?

Using the terms 'theorem 'and 'tautology'

The natural numbers that satisfy a quantifier-free formula are either finitely many, or all the natural numbers except finitely many?

Two questions on the Gödel sentence

Confused about definability of a function in logic

How do you represent this statement in first order number logic?

Formalise: "It ain't over, till it's over"

How to express subset notation in first order set theory?

Does $\forall a,b\in X: P(a,b)$ mean $\forall a\in X: \forall b\in X: P(a,b)$?

Trending Questions

Popular # Hahtags

Popular Questions