Question

For an L-structure $M$, and a formula $\phi$, in which of the cases does $M \models \phi(x/2)$?

score 67 · Answer 1 · 2015-01-04 17:56:45

67

Views

For an L-structure $M$, and a formula $\phi$, in which of the cases does $M \models \phi(x/2)$?

Published on 04 Jan 2015 - 17:56

score 97 · Answer 2 · 2026-04-03 16:07:04

97

Views

Let $M$ and $N$ be $L$-Structures, $h\colon M \cong N$ an isomorphism. Show $h$ is an elementary map.

Published on 03 Apr 2026 - 16:07

score 63 · Answer 3 · 2015-01-06 16:51:46

63

Views

Show that: A is consistent iff Ded(A) does not equal Fml(L)

Published on 06 Jan 2015 - 16:51

score 315 · Answer 4 · 2015-01-06 19:41:14

315

Views

Definable relations in given structure (first order logic)

Published on 06 Jan 2015 - 19:41

score 291 · Answer 5 · 2026-03-30 07:20:37

291

Views

Predicates and Quantifiers in discrete math

Published on 30 Mar 2026 - 7:20

score 223 · Answer 6 · 2026-03-25 20:52:04

223

Views

What does the notation ab1, ab2, etc. refer to in predicate logic?

Published on 25 Mar 2026 - 20:52

score 465 · Answer 7 · 2026-03-30 07:20:32

465

Views

Negation of quantifiers

Published on 30 Mar 2026 - 7:20

score 72 · Answer 8 · 2015-01-08 11:17:15

72

Views

Would a "Prenex Sum of Products" be canonical?

Published on 08 Jan 2015 - 11:17

score 519 · Answer 9 · 2015-01-08 23:48:11

519

Views

Found somewhat of answer for this if then problem but I'm having trouble relating it to the answer I need.

Published on 08 Jan 2015 - 23:48

score 2.2k · Answer 10 · 2015-01-09 19:07:44

2.2k

Views

Proof of $\exists x(P(x) \Rightarrow \forall y P(y))$

Published on 09 Jan 2015 - 19:07

score 367 · Answer 11 · 2026-03-30 07:20:28

367

Views

Is my inference based on previous assumptions correct?

Published on 30 Mar 2026 - 7:20

score 151 · Answer 12 · 2026-03-30 07:20:31

151

Views

Would including the outside quantifier make more sense/be logically correct?

Published on 30 Mar 2026 - 7:20

score 1k · Answer 13 · 2026-03-30 07:20:47

1k

Views

How to express exact quantifier in this situation?

Published on 30 Mar 2026 - 7:20

score 997 · Answer 14 · 2026-03-30 07:20:46

997

Views

More than one quantifiers for one variable: $\forall x\exists x P(x)$

Published on 30 Mar 2026 - 7:20

score 56 · Answer 15 · 2015-01-12 12:47:36

56

Views

Truth set for the following formula $\forall x R(x, x) \land R(a, b)$?

Published on 12 Jan 2015 - 12:47

List Question

For an L-structure $M$, and a formula $\phi$, in which of the cases does $M \models \phi(x/2)$?

Let $M$ and $N$ be $L$-Structures, $h\colon M \cong N$ an isomorphism. Show $h$ is an elementary map.

Show that: A is consistent iff Ded(A) does not equal Fml(L)

Definable relations in given structure (first order logic)

Predicates and Quantifiers in discrete math

What does the notation ab1, ab2, etc. refer to in predicate logic?

Negation of quantifiers

Would a "Prenex Sum of Products" be canonical?

Found somewhat of answer for this if then problem but I'm having trouble relating it to the answer I need.

Proof of $\exists x(P(x) \Rightarrow \forall y P(y))$

Is my inference based on previous assumptions correct?

Would including the outside quantifier make more sense/be logically correct?

How to express exact quantifier in this situation?

More than one quantifiers for one variable: $\forall x\exists x P(x)$

Truth set for the following formula $\forall x R(x, x) \land R(a, b)$?

Trending Questions

Popular # Hahtags

Popular Questions