Preguntas ciencias de first-order-lógica

19

2Resp

589Vistas

Definición de primer orden de $\pi$

Abierta

Preguntado el 10 de Junio, 2015 por Akiva Weinberger

7

2Resp

146Vistas

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

207Vistas

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

251Vistas

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

166Vistas

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

Abierta

Preguntado el 14 de Septiembre, 2017 por Taroccoesbrocco

4

4Resp

246Vistas

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

335Vistas

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

135Vistas

Cuantificadores en lógica de primer orden.

Resuelta

Preguntado el 1 de Junio, 2019 por Nishant kumar

5

1Resp

204Vistas

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

217Vistas

¿Qué significa genérico?

Resuelta

Preguntado el 27 de Mayo, 2019 por Mike

5

2Resp

149Vistas

"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

141Vistas

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

Resuelta

Preguntado el 16 de Mayo, 2019 por Max

10

2Resp

154Vistas

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

169Vistas

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

114Vistas

$\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

256Vistas

¿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

338Vistas

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

Resuelta

Preguntado el 15 de Abril, 2019 por Cornman

4

1Resp

188Vistas

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

Resuelta

Preguntado el 10 de Abril, 2019 por Max Dohme

5

1Resp

172Vistas

Cómo abordar modelos primos y modelos saturados.

Resuelta

Preguntado el 7 de Abril, 2019 por Joachim

8

2Resp

338Vistas

¿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

120Vistas

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

114Vistas

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

160Vistas

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

Resuelta

Preguntado el 26 de Febrero, 2019 por Andrew Bacon

7

1Resp

143Vistas

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

Resuelta

Preguntado el 26 de Febrero, 2019 por Andrew Bacon

4

1Resp

109Vistas

¿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

133Vistas

Un lenguaje de primer orden para grafos

Abierta

Preguntado el 15 de Marzo, 2016 por Martin

6

1Resp

118Vistas

Definibilidad de primer orden de estructuras finitas (resultado negativo)

Resuelta

Preguntado el 12 de Febrero, 2019 por Rafael Bankosegger

6

2Resp

172Vistas

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

571Vistas

$\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

180Vistas

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: