Question

Evaluate $ (\forall y)(\exists x)(x \times x = y) $

score 93 · Answer 1 · 2026-04-03 05:16:20

93

Views

Evaluate $ (\forall y)(\exists x)(x \times x = y) $

Published on 03 Apr 2026 - 5:16

score 17 · Answer 2 · 2026-03-12 14:43:32

17

Views

Derivation of Quantifier Shift: $(\forall x)Lx \wedge (\forall y)My \vdash (\forall x)[Lx \wedge (\forall y)My]$

Published on 12 Mar 2026 - 14:43

score 175 · Answer 3 · 2026-03-25 11:10:38

175

Views

Theory in $(\mathbb{N};0,S,<)$ is complete?

Published on 25 Mar 2026 - 11:10

score 46 · Answer 4 · 2026-04-12 12:51:12

46

Views

Formal logic statements symbolic representation.

Published on 12 Apr 2026 - 12:51

score 57 · Answer 5 · 2026-04-13 01:10:01

57

Views

Understanding $ \forall x \exists y \forall z P(x, y, z) $

Published on 13 Apr 2026 - 1:10

score 470 · Answer 6 · 2026-04-03 05:17:14

470

Views

Scope in $\forall x P(x) \rightarrow Q(x)$

Published on 03 Apr 2026 - 5:17

score 148 · Answer 7 · 2026-04-10 00:16:18

148

Views

Can't understand definition of system $P$ given by Kurt Godel in his "On formally undecidable propositions..."

Published on 10 Apr 2026 - 0:16

score 35 · Answer 8 · 2020-11-16 01:15:10

35

Views

Premise that respects a list of previous premises

Published on 16 Nov 2020 - 1:15

score 208 · Answer 9 · 2020-11-17 09:48:49

208

Views

Can a theory be not satisfiable? Idk if I expressed myself right, can it be that a theory has no model?

Published on 17 Nov 2020 - 9:48

score 135 · Answer 10 · 2026-04-09 19:47:18

135

Views

How to translate sentences to predicate logic?

Published on 09 Apr 2026 - 19:47

score 525 · Answer 11 · 2026-04-03 06:30:46

525

Views

Vacuous Quantification

Published on 03 Apr 2026 - 6:30

score 48 · Answer 12 · 2020-11-17 22:53:37

48

Views

Lemma from paper on Elementary equivalence of profinite groups by Jarden & Lubotzky

Published on 17 Nov 2020 - 22:53

score 761 · Answer 13 · 2026-04-12 17:58:29

761

Views

Is this equivalence of the compactness theorem true?

Published on 12 Apr 2026 - 17:58

score 940 · Answer 14 · 2020-11-18 10:35:20

940

Views

For every integer $y$, there is an integer $x$ such that $x + y < 0$

Published on 18 Nov 2020 - 10:35

score 55 · Answer 15 · 2020-11-18 14:44:02

55

Views

Does $\vDash t=s$ imply that $t$ and $s$ are notations for the same term?

Published on 18 Nov 2020 - 14:44

List Question

Evaluate $ (\forall y)(\exists x)(x \times x = y) $

Derivation of Quantifier Shift: $(\forall x)Lx \wedge (\forall y)My \vdash (\forall x)[Lx \wedge (\forall y)My]$

Theory in $(\mathbb{N};0,S,<)$ is complete?

Formal logic statements symbolic representation.

Understanding $ \forall x \exists y \forall z P(x, y, z) $

Scope in $\forall x P(x) \rightarrow Q(x)$

Can't understand definition of system $P$ given by Kurt Godel in his "On formally undecidable propositions..."

Premise that respects a list of previous premises

Can a theory be not satisfiable? Idk if I expressed myself right, can it be that a theory has no model?

How to translate sentences to predicate logic?

Vacuous Quantification

Lemma from paper on Elementary equivalence of profinite groups by Jarden & Lubotzky

Is this equivalence of the compactness theorem true?

For every integer $y$, there is an integer $x$ such that $x + y < 0$

Does $\vDash t=s$ imply that $t$ and $s$ are notations for the same term?

Trending Questions

Popular # Hahtags

Popular Questions