Preguntas ciencias de first-order-logic02

2

1Resp

57Vistas

reducción de la validez entre fragmentos de FOL

Resuelta

Preguntado el 25 de Enero, 2018 por Lior

2

1Resp

103Vistas

Lógica de primer orden: $T \nvDash ^t a \iff$ existe una estructura s.t que $T \cup$ { $\lnot$ a} es válida en esa estructura

Resuelta

Preguntado el 24 de Diciembre, 2015 por bof

1

2Resp

64Vistas

Conversión de fórmulas a la forma Skolem.

Resuelta

Preguntado el 25 de Septiembre, 2022 por tr1umph

2

1Resp

61Vistas

Una condición suficiente para $\omega$ -categoricidad

Resuelta

Preguntado el 18 de Noviembre, 2020 por Francesco Bilotta

1

1Resp

74Vistas

¿Son equivalentes estas dos versiones de Lowenheim-Skolem?

Resuelta

Preguntado el 10 de Mayo, 2017 por MingusMingusMingusMingus

1

1Resp

70Vistas

Formalización de sentencias en lógica de predicados monádica

Resuelta

Preguntado el 21 de Enero, 2017 por Andy

1

2Resp

96Vistas

Prueba de equivalencia en lógica de primer orden

Resuelta

Preguntado el 14 de Junio, 2020 por Andraz Pirnovar

0

1Resp

192Vistas

Impredicatividad y teoría de conjuntos

Resuelta

Preguntado el 12 de Noviembre, 2014 por sure

3

2Resp

533Vistas

¿Son definibles los órdenes parciales en la lógica de primer orden sin igualdad?

Resuelta

Preguntado el 26 de Diciembre, 2013 por user107952

2

1Resp

543Vistas

¿Qué puede haber en una variable? (Lógica de primer orden)

Resuelta

Preguntado el 2 de Enero, 2017 por Yoar

3

1Resp

101Vistas

¿Cuál sería la función para hacer una fórmula falsa?

Resuelta

Preguntado el 19 de Enero, 2018 por Michelle García

5

2Resp

139Vistas

¿Son equivalentes estas dos frases?

Resuelta

Preguntado el 20 de Mayo, 2022 por lbal

3

3Resp

160Vistas

La teoría estable es NIP

Resuelta

Preguntado el 22 de Octubre, 2016 por Jan Alwyn

2

1Resp

55Vistas

¿Puede una fórmula cuantificada existencialmente ser una tautología

Resuelta

Preguntado el 1 de Noviembre, 2021 por Alex

2

1Resp

85Vistas

Demostrar que $PA$ tiene un modelo $M$ con un elemento $m$ , de tal manera que $M\models q\mid m$ para siempre $q\in Q$ y $M\models \neg q\mid m$ por cada $q\in Q-P$

Resuelta

Preguntado el 12 de Diciembre, 2019 por Jon

1

1Resp

114Vistas

¿Es el siguiente argumento un argumento lógico válido?

Resuelta

Preguntado el 8 de Septiembre, 2020 por NoName123

1

1Resp

354Vistas

Ejemplo fácil de una estructura herbrand

Resuelta

Preguntado el 24 de Enero, 2019 por user1940566

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

1

1Resp

74Vistas

Firma monádica con constante

Resuelta

Preguntado el 18 de Julio, 2016 por Mihax209

2

1Resp

95Vistas

Demostración del teorema de la compacidad

Resuelta

Preguntado el 26 de Octubre, 2021 por phyam

2

1Resp

108Vistas

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

Resuelta

Preguntado el 29 de Mayo, 2020 por Vedarth V

1

1Resp

124Vistas

Interpretaciones de conjuntos y pertenencia a conjuntos

Abierta

Preguntado el 3 de Febrero, 2022 por user1578232

1

1Resp

612Vistas

¿Fórmulas válidas y bien formadas en el cálculo de predicados?

Resuelta

Preguntado el 2 de Marzo, 2016 por No more SO

1

1Resp

69Vistas

A $L$ -sentencia Deducción utilizando sólo $L$ -sentencias.

Resuelta

Preguntado el 15 de Marzo, 2019 por wannabeartist

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

2

1Resp

64Vistas

La cuantificación y la existencia de una función

Resuelta

Preguntado el 1 de Diciembre, 2021 por Hermis14

3

1Resp

120Vistas

Prueba de satisfacción dada la misma interpretación de la variable libre

Resuelta

Preguntado el 7 de Abril, 2019 por David 天宇 Wong

4

1Resp

243Vistas

Conjunto definible sin parámetros

Resuelta

Preguntado el 14 de Diciembre, 2017 por Jonathan Vanasco

1

1Resp

99Vistas

¿Existe una teoría combinada de los Reales y los Naturales que tenga un modelo donde los Naturales y los Reales tengan la misma cardinalidad

Resuelta

Preguntado el 15 de Junio, 2018 por nishantjr

3

1Resp

149Vistas

¿Cuál es la justificación formal de la inducción finita?

Abierta

Preguntado el 16 de Junio, 2020 por Alphie

Preguntas ciencias first-order-logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

reducción de la validez entre fragmentos de FOL

Lógica de primer orden: $T \nvDash ^t a \iff$ existe una estructura s.t que $T \cup$ { $\lnot$ a} es válida en esa estructura

Conversión de fórmulas a la forma Skolem.

Una condición suficiente para $\omega$ -categoricidad

¿Son equivalentes estas dos versiones de Lowenheim-Skolem?

Formalización de sentencias en lógica de predicados monádica

Prueba de equivalencia en lógica de primer orden

Impredicatividad y teoría de conjuntos

¿Son definibles los órdenes parciales en la lógica de primer orden sin igualdad?

¿Qué puede haber en una variable? (Lógica de primer orden)

¿Cuál sería la función para hacer una fórmula falsa?

¿Son equivalentes estas dos frases?

La teoría estable es NIP

¿Puede una fórmula cuantificada existencialmente ser una tautología

Demostrar que $PA$ tiene un modelo $M$ con un elemento $m$ , de tal manera que $M\models q\mid m$ para siempre $q\in Q$ y $M\models \neg q\mid m$ por cada $q\in Q-P$

¿Es el siguiente argumento un argumento lógico válido?

Ejemplo fácil de una estructura herbrand

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

Firma monádica con constante

Demostración del teorema de la compacidad

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

Interpretaciones de conjuntos y pertenencia a conjuntos

¿Fórmulas válidas y bien formadas en el cálculo de predicados?

A $L$ -sentencia Deducción utilizando sólo $L$ -sentencias.

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

La cuantificación y la existencia de una función

Prueba de satisfacción dada la misma interpretación de la variable libre

Conjunto definible sin parámetros

¿Existe una teoría combinada de los Reales y los Naturales que tenga un modelo donde los Naturales y los Reales tengan la misma cardinalidad

¿Cuál es la justificación formal de la inducción finita?

Etiquetas mas usadas

i-Ciencias.com

Powered by: