Preguntas de first-order-logic03

1

1Resp

217Vistas

Homomorfismo entre estructuras en la lógica de primer orden

Resuelta

Preguntado el 31 de Enero, 2018 por user15269

3

2Resp

283Vistas

Lista finita de axiomas de $\mathsf{ACA}_0$ - ¿referencia?

Resuelta

Preguntado el 2 de Octubre, 2014 por masterxilo

1

1Resp

62Vistas

Cuál es la consecuencia lógica de una tautología

Resuelta

Preguntado el 5 de Enero, 2021 por JoJolyne

1

1Resp

199Vistas

En la notación del constructor de conjuntos, ¿el predicado debe tener sólo una variable libre?

Resuelta

Preguntado el 28 de Julio, 2016 por Nethesis

2

1Resp

55Vistas

Confusión en la prueba del lema del marcador 2.1.14, $T \vDash \phi \implies \exists \Delta \subseteq T, |\Delta| \in \mathbb{N} \land \Delta \vDash T$

Resuelta

Preguntado el 8 de Abril, 2020 por Enrico Borba

4

3Resp

2352Vistas

Prueba de la regla de inferencia de resolución sin tabla de verdad

Resuelta

Preguntado el 26 de Diciembre, 2015 por saurabh

2

1Resp

176Vistas

Distribución universal de cuantificadores

Resuelta

Preguntado el 27 de Enero, 2013 por Richard Toney

1

1Resp

3304Vistas

¿Conversión de un enunciado dado en lógica de predicados?

Resuelta

Preguntado el 24 de Julio, 2017 por Willturner

2

2Resp

160Vistas

¿Por qué es importante el orden de negación en la resolución de la lógica de primer orden?

Resuelta

Preguntado el 25 de Marzo, 2020 por safvan

1

1Resp

106Vistas

Unión de dos teorías que no contienen los mismos símbolos de lenguaje tiene un modelo.

Resuelta

Preguntado el 27 de Noviembre, 2017 por TheTechGuy96

1

2Resp

65Vistas

Demostración de una conclusión compuesta por condicionales (Lógica)

Resuelta

Preguntado el 18 de Abril, 2021 por Ben Myers

1

1Resp

115Vistas

Teorema de Skolem-Lowenheim.

Resuelta

Preguntado el 27 de Enero, 2017 por Logic

4

1Resp

232Vistas

Formalizar una argumentación de la teoría de conjuntos a partir de una historia corta de ficción

Resuelta

Preguntado el 26 de Febrero, 2017 por puslet88

3

1Resp

146Vistas

¿Se puede axiomatizar un grafo regular dirigido en Lógica de primer orden?

Resuelta

Preguntado el 14 de Junio, 2020 por Andreas Leto

1

1Resp

60Vistas

Subconjunto explícito de segundo orden de los naturales.

Resuelta

Preguntado el 9 de Julio, 2021 por Oddly asymmetric

2

1Resp

216Vistas

Cuestión de isomorfismo local en lógica

Resuelta

Preguntado el 8 de Agosto, 2015 por abcdef

4

1Resp

162Vistas

Sentencias finitamente válidas y otras cosas relacionadas

Resuelta

Preguntado el 7 de Septiembre, 2019 por Kapur

2

2Resp

135Vistas

Cuantificadores diferentes, misma variable

Resuelta

Preguntado el 11 de Octubre, 2015 por user279030

6

1Resp

165Vistas

división por números primos en modelos no estándar

Resuelta

Preguntado el 19 de Octubre, 2020 por Usuario no registrado

2

1Resp

65Vistas

Se necesita ayuda en la tarea que implica estructuras y modelos

Resuelta

Preguntado el 19 de Febrero, 2018 por Yulia23576

2

1Resp

97Vistas

¿Existen lógicas no triviales que exiban solidez y completitud que no sean de primer orden?

Resuelta

Preguntado el 2 de Diciembre, 2014 por Feratile

1

3Resp

462Vistas

Cálculo secuencial y derivación por deducción natural

Resuelta

Preguntado el 10 de Noviembre, 2015 por Usuario no registrado

5

1Resp

454Vistas

Definición precisa de $\Sigma_0^0$ en la jerarquía aritmética

Resuelta

Preguntado el 18 de Junio, 2016 por Dani

2

3Resp

547Vistas

¿Cómo eliminar los símbolos constantes de una teoría de primer orden?

Resuelta

Preguntado el 2 de Mayo, 2017 por M. Winter

4

1Resp

243Vistas

Conjunto definible sin parámetros

Resuelta

Preguntado el 14 de Diciembre, 2017 por Jonathan Vanasco

3

2Resp

92Vistas

Dada una $\mathcal{L}=\{0,1,+,\cdot , R\}$ y estructura $C=(\mathbb{C},...)$ dar una fórmula para que $C\models \phi(x)$ si $x$ es un número real

Resuelta

Preguntado el 12 de Octubre, 2019 por Jon

1

1Resp

124Vistas

Interpretaciones de conjuntos y pertenencia a conjuntos

Abierta

Preguntado el 3 de Febrero, 2022 por user1578232

2

1Resp

108Vistas

Cómo demostrar sintácticamente $\emptyset \vdash \top$ ?

Resuelta

Preguntado el 29 de Mayo, 2020 por Vedarth V

2

1Resp

95Vistas

Demostración del teorema de la compacidad

Resuelta

Preguntado el 26 de Octubre, 2021 por phyam

2

1Resp

296Vistas

Preguntas sobre Gödel, sistemas formales, cálculo proposicional y lógica de primer orden.

Resuelta

Preguntado el 3 de Agosto, 2015 por Afnan Amir

Preguntas de first-order-logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Homomorfismo entre estructuras en la lógica de primer orden

Lista finita de axiomas de $\mathsf{ACA}_0$ - ¿referencia?

Cuál es la consecuencia lógica de una tautología

En la notación del constructor de conjuntos, ¿el predicado debe tener sólo una variable libre?

Confusión en la prueba del lema del marcador 2.1.14, $T \vDash \phi \implies \exists \Delta \subseteq T, |\Delta| \in \mathbb{N} \land \Delta \vDash T$

Prueba de la regla de inferencia de resolución sin tabla de verdad

Distribución universal de cuantificadores

¿Conversión de un enunciado dado en lógica de predicados?

¿Por qué es importante el orden de negación en la resolución de la lógica de primer orden?

Unión de dos teorías que no contienen los mismos símbolos de lenguaje tiene un modelo.

Demostración de una conclusión compuesta por condicionales (Lógica)

Teorema de Skolem-Lowenheim.

Formalizar una argumentación de la teoría de conjuntos a partir de una historia corta de ficción

¿Se puede axiomatizar un grafo regular dirigido en Lógica de primer orden?

Subconjunto explícito de segundo orden de los naturales.

Cuestión de isomorfismo local en lógica

Sentencias finitamente válidas y otras cosas relacionadas

Cuantificadores diferentes, misma variable

división por números primos en modelos no estándar

Se necesita ayuda en la tarea que implica estructuras y modelos

¿Existen lógicas no triviales que exiban solidez y completitud que no sean de primer orden?

Cálculo secuencial y derivación por deducción natural

Definición precisa de $\Sigma_0^0$ en la jerarquía aritmética

¿Cómo eliminar los símbolos constantes de una teoría de primer orden?

Conjunto definible sin parámetros

Dada una $\mathcal{L}=\{0,1,+,\cdot , R\}$ y estructura $C=(\mathbb{C},...)$ dar una fórmula para que $C\models \phi(x)$ si $x$ es un número real

Interpretaciones de conjuntos y pertenencia a conjuntos

Cómo demostrar sintácticamente $\emptyset \vdash \top$ ?

Demostración del teorema de la compacidad

Preguntas sobre Gödel, sistemas formales, cálculo proposicional y lógica de primer orden.

Etiquetas mas usadas

i-Ciencias.com

Powered by: