Question

Why must $x$ be not free in $\psi$ in order for $(\psi\to\phi)\vDash[\psi\to(\forall x\phi)]$?

score 278 · Answer 1 · 2026-03-25 14:40:13

278

Views

Why must $x$ be not free in $\psi$ in order for $(\psi\to\phi)\vDash[\psi\to(\forall x\phi)]$?

Published on 25 Mar 2026 - 14:40

score 83 · Answer 2 · 2018-06-24 14:20:02

83

Views

Is there a tableau proof of $\exists x \forall y (P(x)\to P(y))$

Published on 24 Jun 2018 - 14:20

score 179 · Answer 3 · 2018-06-25 08:01:03

179

Views

When to use universal quantifier, for and when not?

Published on 25 Jun 2018 - 8:01

score 3.2k · Answer 4 · 2026-03-25 01:21:35

3.2k

Views

Language to describe $\forall$

Published on 25 Mar 2026 - 1:21

score 162 · Answer 5 · 2026-03-25 20:34:05

162

Views

Why does the unique existential quantifier seem to allow weird behaviour?

Published on 25 Mar 2026 - 20:34

score 394 · Answer 6 · 2018-07-04 19:29:29

394

Views

logic - identifying the domain of discourse in an existentially quantified statement

Published on 04 Jul 2018 - 19:29

score 1.1k · Answer 7 · 2018-07-05 11:08:27

1.1k

Views

Can I justify removing a universal quantifier in this proof?

Published on 05 Jul 2018 - 11:08

score 90 · Answer 8 · 2026-03-25 03:00:58

90

Views

universal instantiation and the Archimedean property

Published on 25 Mar 2026 - 3:00

score 60 · Answer 9 · 2018-07-08 14:54:33

60

Views

Interchangeability of $\limsup$

Published on 08 Jul 2018 - 14:54

score 1.4k · Answer 10 · 2018-07-11 03:06:35

1.4k

Views

Determine which of the following formulas are wffs, and justify which ones are not. [Verification]

Published on 11 Jul 2018 - 3:06

score 748 · Answer 11 · 2026-03-24 23:57:42

748

Views

Verification of the translation of English sentences into predicate logic.

Published on 24 Mar 2026 - 23:57

score 265 · Answer 12 · 2018-07-13 14:43:04

265

Views

Converting English to Quantifiers: 'There is no greatest prime'

Published on 13 Jul 2018 - 14:43

score 157 · Answer 13 · 2026-03-25 01:16:33

157

Views

All students in a class are friends with some students in all engineering faculty

Published on 25 Mar 2026 - 1:16

score 190 · Answer 14 · 2018-07-28 18:34:37

190

Views

Reconstruction of FOL language

Published on 28 Jul 2018 - 18:34

score 56 · Answer 15 · 2018-07-31 11:44:13

56

Views

Translation of infinite-valued QBF to first order logic

Published on 31 Jul 2018 - 11:44

List Question

Why must $x$ be not free in $\psi$ in order for $(\psi\to\phi)\vDash[\psi\to(\forall x\phi)]$?

Is there a tableau proof of $\exists x \forall y (P(x)\to P(y))$

When to use universal quantifier, for and when not?

Language to describe $\forall$

Why does the unique existential quantifier seem to allow weird behaviour?

logic - identifying the domain of discourse in an existentially quantified statement

Can I justify removing a universal quantifier in this proof?

universal instantiation and the Archimedean property

Interchangeability of $\limsup$

Determine which of the following formulas are wffs, and justify which ones are not. [Verification]

Verification of the translation of English sentences into predicate logic.

Converting English to Quantifiers: 'There is no greatest prime'

All students in a class are friends with some students in all engineering faculty

Reconstruction of FOL language

Translation of infinite-valued QBF to first order logic

Trending Questions

Popular # Hahtags

Popular Questions