Preguntas ciencias de first-order-lógica

19

2Resp

587Vistas

Definición de primer orden de $\pi$

Abierta

Preguntado el 10 de Junio, 2015 por Akiva Weinberger

7

2Resp

143Vistas

Una lógica de primer orden extendida con términos vinculantes como los descriptores de conjuntos familiares$\{x:\varphi\}$

Resuelta

Preguntado el 19 de Julio, 2019 por Evan Aad

4

1Resp

205Vistas

Equivalencia elemental versus equivalencia entre la teoría total en la teoría de modelos.

Resuelta

Preguntado el 5 de Junio, 2014 por Asvin

7

0Resp

246Vistas

No puede EF teoría de juegos se aplica a lo finito idiomas CON los símbolos de la función?

Abierta

Preguntado el 17 de Noviembre, 2015 por Anguepa

4

1Resp

163Vistas

¿Error en el artículo de Wikipedia sobre teoría completa?

Abierta

Preguntado el 14 de Septiembre, 2017 por Taroccoesbrocco

4

4Resp

245Vistas

No puedo ver la intuición detrás de la validez de esta fórmula:$\exists x(\exists yP(x,y) → \forall z \exists wP(z,w))$

Resuelta

Preguntado el 30 de Mayo, 2014 por Guildenstern

5

1Resp

334Vistas

Expresando elementos infinitos cada clase de equivalencia en la lógica de primer orden.

Resuelta

Preguntado el 8 de Julio, 2014 por Alain Vandal

5

2Resp

132Vistas

Cuantificadores en lógica de primer orden.

Resuelta

Preguntado el 1 de Junio, 2019 por Nishant kumar

5

1Resp

201Vistas

Algunas dudas sobre la interpretación de una fórmula atómica en el cálculo de predicados.

Resuelta

Preguntado el 11 de Junio, 2013 por Kobi

4

2Resp

215Vistas

¿Qué significa genérico?

Resuelta

Preguntado el 27 de Mayo, 2019 por Mike

5

2Resp

146Vistas

"Cuantificar" sobre las propiedades y las "operaciones" en ZFC y recursión transfinita: aclarando la confusión

Resuelta

Preguntado el 5 de Julio, 2017 por Jxt921

4

1Resp

138Vistas

¿Qué es un lenguaje "expresable" en la lógica de segundo / primer orden?

Resuelta

Preguntado el 16 de Mayo, 2019 por Max

11

2Resp

149Vistas

Cómo es una "interpretación" que se utiliza de manera diferente en los proposicional versus la lógica de primer orden?

Resuelta

Preguntado el 18 de Octubre, 2018 por user525966

4

2Resp

165Vistas

Según "Lenguaje, Prueba y Lógica" $a=a$ no es una tautología. ¿Por qué no?

Abierta

Preguntado el 4 de Octubre, 2016 por guest

4

1Resp

112Vistas

$\mathbb{Q}^{alg}[[a,b]] $ no es elemental equivalente a$\mathbb{C}[[a,b]]$, y lo mismo para$\mathbb{Q}^{alg}[a]$ y$\mathbb{C}[a]$?

Resuelta

Preguntado el 23 de Abril, 2019 por user297564

3

4Resp

254Vistas

¿Cuál es la explicación intuitiva de$\exists y \theta(x,y) \to \psi(x)$ que es igual a$\forall y ( \theta(x,y) \to \psi(x) )$?

Abierta

Preguntado el 9 de Noviembre, 2018 por Pinocchio

5

2Resp

335Vistas

¿Por qué símbolos constantes en una lengua?

Resuelta

Preguntado el 15 de Abril, 2019 por Cornman

4

1Resp

185Vistas

Conversión de lógica proposicional a lógica predicada

Resuelta

Preguntado el 10 de Abril, 2019 por Max Dohme

5

1Resp

169Vistas

Cómo abordar modelos primos y modelos saturados.

Resuelta

Preguntado el 7 de Abril, 2019 por Joachim

8

2Resp

334Vistas

¿Por qué es deseable la eliminación de cuantificadores en una teoría determinada?

Abierta

Preguntado el 30 de Marzo, 2019 por Simone Margaritelli

6

1Resp

116Vistas

La unión de una estrictamente creciente de la secuencia de cierre de las teorías en un lenguaje finito tiene una infinita modelo

Resuelta

Preguntado el 15 de Julio, 2018 por user470412

4

1Resp

110Vistas

Demostrar algo sobre un objeto expresándolo como un ultraproducto de objetos más fáciles de entender.

Abierta

Preguntado el 31 de Julio, 2018 por Scott Mutchnik

7

1Resp

156Vistas

¿Se pueden definir todas las relaciones a partir de relaciones simétricas?

Resuelta

Preguntado el 26 de Febrero, 2019 por Andrew Bacon

7

1Resp

140Vistas

¿Se pueden definir todas las relaciones a partir de relaciones "establecidas"?

Resuelta

Preguntado el 26 de Febrero, 2019 por Andrew Bacon

4

1Resp

107Vistas

¿Por qué en countably saturado de modelos, tipos que son consistentes con $TH(\mathcal{M_a})$ son finitely realizable?

Abierta

Preguntado el 20 de Noviembre, 2015 por andrewmh20

4

2Resp

131Vistas

Un lenguaje de primer orden para grafos

Abierta

Preguntado el 15 de Marzo, 2016 por Martin

6

1Resp

116Vistas

Definibilidad de primer orden de estructuras finitas (resultado negativo)

Resuelta

Preguntado el 12 de Febrero, 2019 por Rafael Bankosegger

6

2Resp

169Vistas

El $<$ -relación en $\mathbb{Z}$ no es definible en $(\mathbb{Z}, 0, +)$

Resuelta

Preguntado el 3 de Septiembre, 2015 por Tom Bombadil

5

1Resp

568Vistas

$\exists x Px \land \exists x Qx$ no implica $\exists x (P x \land Q x)$

Resuelta

Preguntado el 21 de Noviembre, 2013 por Larry Miller

4

2Resp

177Vistas

Mostrar que la PA puede probar el pigeon-hole principio

Resuelta

Preguntado el 20 de Enero, 2018 por user2875613

Preguntas ciencias first-order-lógica

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Definición de primer orden de $\pi$

Una lógica de primer orden extendida con términos vinculantes como los descriptores de conjuntos familiares$\{x:\varphi\}$

Equivalencia elemental versus equivalencia entre la teoría total en la teoría de modelos.

No puede EF teoría de juegos se aplica a lo finito idiomas CON los símbolos de la función?

¿Error en el artículo de Wikipedia sobre teoría completa?

No puedo ver la intuición detrás de la validez de esta fórmula:$\exists x(\exists yP(x,y) → \forall z \exists wP(z,w))$

Expresando elementos infinitos cada clase de equivalencia en la lógica de primer orden.

Cuantificadores en lógica de primer orden.

Algunas dudas sobre la interpretación de una fórmula atómica en el cálculo de predicados.

¿Qué significa genérico?

"Cuantificar" sobre las propiedades y las "operaciones" en ZFC y recursión transfinita: aclarando la confusión

¿Qué es un lenguaje "expresable" en la lógica de segundo / primer orden?

Cómo es una "interpretación" que se utiliza de manera diferente en los proposicional versus la lógica de primer orden?

Según "Lenguaje, Prueba y Lógica" $a=a$ no es una tautología. ¿Por qué no?

$\mathbb{Q}^{alg}[[a,b]] $ no es elemental equivalente a$\mathbb{C}[[a,b]]$, y lo mismo para$\mathbb{Q}^{alg}[a]$ y$\mathbb{C}[a]$?

¿Cuál es la explicación intuitiva de$\exists y \theta(x,y) \to \psi(x)$ que es igual a$\forall y ( \theta(x,y) \to \psi(x) )$?

¿Por qué símbolos constantes en una lengua?

Conversión de lógica proposicional a lógica predicada

Cómo abordar modelos primos y modelos saturados.

¿Por qué es deseable la eliminación de cuantificadores en una teoría determinada?

La unión de una estrictamente creciente de la secuencia de cierre de las teorías en un lenguaje finito tiene una infinita modelo

Demostrar algo sobre un objeto expresándolo como un ultraproducto de objetos más fáciles de entender.

¿Se pueden definir todas las relaciones a partir de relaciones simétricas?

¿Se pueden definir todas las relaciones a partir de relaciones "establecidas"?

¿Por qué en countably saturado de modelos, tipos que son consistentes con $TH(\mathcal{M_a})$ son finitely realizable?

Un lenguaje de primer orden para grafos

Definibilidad de primer orden de estructuras finitas (resultado negativo)

El $<$ -relación en $\mathbb{Z}$ no es definible en $(\mathbb{Z}, 0, +)$

$\exists x Px \land \exists x Qx$ no implica $\exists x (P x \land Q x)$

Mostrar que la PA puede probar el pigeon-hole principio

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: