Question

Is it true that "if $y$ is free for $x$ in a well-formed formula $\mathcal{B(x,x)}$, then $x$ is free for $y$ in $\mathcal{B(x,y)}$?"

score 95 · Answer 1 · 2021-04-12 08:59:28

95

Views

Is it true that "if $y$ is free for $x$ in a well-formed formula $\mathcal{B(x,x)}$, then $x$ is free for $y$ in $\mathcal{B(x,y)}$?"

Published on 12 Apr 2021 - 8:59

score 102 · Answer 2 · 2026-03-25 12:53:15

102

Views

Must skolem functions depend on unused variables?

Published on 25 Mar 2026 - 12:53

score 357 · Answer 3 · 2021-04-21 08:55:59

357

Views

Write the statement using these predicates and any needed quantifiers.

Published on 21 Apr 2021 - 8:55

score 114 · Answer 4 · 2021-04-30 00:06:13

114

Views

Substitution function in FOL

Published on 30 Apr 2021 - 0:06

score 127 · Answer 5 · 2021-04-30 19:58:37

127

Views

Question about translating English to first order logic?

Published on 30 Apr 2021 - 19:58

score 106 · Answer 6 · 2021-04-30 21:07:49

106

Views

Translating English into Predicate Logic

Published on 30 Apr 2021 - 21:07

score 64 · Answer 7 · 2021-05-01 12:26:12

64

Views

"No one likes anyone who does not like anyone" Which of the following are correct translations in predicate logic?

Published on 01 May 2021 - 12:26

score 150 · Answer 8 · 2026-02-24 00:40:51

150

Views

Is arithmetic with a $\exists\forall$ induction schema decidable?

Published on 24 Feb 2026 - 0:40

score 224 · Answer 9 · 2021-05-10 13:01:33

224

Views

Logic: variable names and quantifiers

Published on 10 May 2021 - 13:01

score 90 · Answer 10 · 2021-05-10 18:06:39

90

Views

Logic: changing quantified variable names and moving quantifiers

Published on 10 May 2021 - 18:06

score 32 · Answer 11 · 2021-05-11 17:03:15

32

Views

Writing $\forall q\, (\forall p\,q)$ instead of the schematic $\forall p\,\phi$

Published on 11 May 2021 - 17:03

score 70 · Answer 12 · 2021-05-11 18:03:24

70

Views

Does adding new sorts to propositional logic with quantification keep the logic second-order?

Published on 11 May 2021 - 18:03

score 1.1k · Answer 13 · 2021-05-13 17:33:04

1.1k

Views

Prove that $\neg \forall x P(x) \leftrightarrow \exists x \neg P(x)$

Published on 13 May 2021 - 17:33

score 366 · Answer 14 · 2021-05-14 05:02:33

366

Views

Is there a unique real number $x$ such that for all $y$, $xy = y$?

Published on 14 May 2021 - 5:02

score 216 · Answer 15 · 2021-05-15 10:48:18

216

Views

What is the difference between $\forall x [ (\exists y Pxy) \longrightarrow \phi ]$ and $\forall x \exists y [Pxy \longrightarrow \phi]$?

Published on 15 May 2021 - 10:48

List Question

Is it true that "if $y$ is free for $x$ in a well-formed formula $\mathcal{B(x,x)}$, then $x$ is free for $y$ in $\mathcal{B(x,y)}$?"

Must skolem functions depend on unused variables?

Write the statement using these predicates and any needed quantifiers.

Substitution function in FOL

Question about translating English to first order logic?

Translating English into Predicate Logic

"No one likes anyone who does not like anyone" Which of the following are correct translations in predicate logic?

Is arithmetic with a $\exists\forall$ induction schema decidable?

Logic: variable names and quantifiers

Logic: changing quantified variable names and moving quantifiers

Writing $\forall q\, (\forall p\,q)$ instead of the schematic $\forall p\,\phi$

Does adding new sorts to propositional logic with quantification keep the logic second-order?

Prove that $\neg \forall x P(x) \leftrightarrow \exists x \neg P(x)$

Is there a unique real number $x$ such that for all $y$, $xy = y$?

What is the difference between $\forall x [ (\exists y Pxy) \longrightarrow \phi ]$ and $\forall x \exists y [Pxy \longrightarrow \phi]$?

Trending Questions

Popular # Hahtags

Popular Questions