Question

Show that $(\phi(\tau)\to\exists x\phi(x))$ is universally valid where $\tau$ is freely substitutable for $x$

score 95 · Answer 1 · 2018-10-15 15:10:18

95

Views

Show that $(\phi(\tau)\to\exists x\phi(x))$ is universally valid where $\tau$ is freely substitutable for $x$

Published on 15 Oct 2018 - 15:10

score 61 · Answer 2 · 2018-10-15 16:25:25

61

Views

First order logic difference bettwen using exists and for all

Published on 15 Oct 2018 - 16:25

score 196 · Answer 3 · 2018-10-16 18:22:55

196

Views

Equivalent statement of the compactness theorem

Published on 16 Oct 2018 - 18:22

score 493 · Answer 4 · 2026-03-26 06:17:35

493

Views

Quantifiers (logic)

Published on 26 Mar 2026 - 6:17

score 120 · Answer 5 · 2026-03-26 04:20:04

120

Views

How does one show a set of sentences are models of infinite vectors spaces over F?

Published on 26 Mar 2026 - 4:20

score 229 · Answer 6 · 2026-03-25 02:57:45

229

Views

is this predicate logic statement correct for this indirect proof?

Published on 25 Mar 2026 - 2:57

score 27 · Answer 7 · 2026-03-26 06:18:52

27

Views

Do I need to explicitly define a predicate to use logical quantifiers?

Published on 26 Mar 2026 - 6:18

score 377 · Answer 8 · 2018-10-21 01:24:49

377

Views

$A / B$ set operation in boolean logic

Published on 21 Oct 2018 - 1:24

score 453 · Answer 9 · 2018-10-21 03:28:23

453

Views

Is it true that models over a complete set of sentences over an L-structure are always isomorphic?

Published on 21 Oct 2018 - 3:28

score 78 · Answer 10 · 2026-03-26 11:17:39

78

Views

How to build a set of predicates? Is it even possible without Paradoxes?

Published on 26 Mar 2026 - 11:17

score 150 · Answer 11 · 2018-10-21 16:55:21

150

Views

Is 2 <= x <= 1 a predicate or a statement?

Published on 21 Oct 2018 - 16:55

score 290 · Answer 12 · 2018-10-23 07:24:06

290

Views

Null Quantification with empty domain

Published on 23 Oct 2018 - 7:24

score 624 · Answer 13 · 2026-03-25 01:18:43

624

Views

Can the axiom of choice be explicitly proved in (intuitionistic) predicate logic, or is something like intuitionistic type theory necessary?

Published on 25 Mar 2026 - 1:18

score 38 · Answer 14 · 2018-10-23 11:16:48

38

Views

Does a model that satisfies both of these formulas really exists?

Published on 23 Oct 2018 - 11:16

score 101 · Answer 15 · 2026-03-25 17:37:59

101

Views

Seeking an isomorphism from $\langle\mathbb{Q},=,<\rangle\to\langle\mathbb{Q}\cap((0,1)\cup(2,3)),=,<\rangle$

Published on 25 Mar 2026 - 17:37

List Question

Show that $(\phi(\tau)\to\exists x\phi(x))$ is universally valid where $\tau$ is freely substitutable for $x$

First order logic difference bettwen using exists and for all

Equivalent statement of the compactness theorem

Quantifiers (logic)

How does one show a set of sentences are models of infinite vectors spaces over F?

is this predicate logic statement correct for this indirect proof?

Do I need to explicitly define a predicate to use logical quantifiers?

$A / B$ set operation in boolean logic

Is it true that models over a complete set of sentences over an L-structure are always isomorphic?

How to build a set of predicates? Is it even possible without Paradoxes?

Is 2 <= x <= 1 a predicate or a statement?

Null Quantification with empty domain

Can the axiom of choice be explicitly proved in (intuitionistic) predicate logic, or is something like intuitionistic type theory necessary?

Does a model that satisfies both of these formulas really exists?

Seeking an isomorphism from $\langle\mathbb{Q},=,<\rangle\to\langle\mathbb{Q}\cap((0,1)\cup(2,3)),=,<\rangle$

Trending Questions

Popular # Hahtags

Popular Questions