Preguntas ciencias de first-order-logic

1

2Resp

109Vistas

¿Por qué son imposibles los modelos de igualdad?

Resuelta

Preguntado el 10 de Abril, 2023 por Terri Simon

1

1Resp

107Vistas

Prueba formal de un hecho muy simple.

Resuelta

Preguntado el 26 de Febrero, 2015 por Hontvári Levente

2

2Resp

84Vistas

Mapeo de problemas simples de primer orden a la teoría de tipos

Resuelta

Preguntado el 25 de Marzo, 2013 por Feratile

27

2Resp

2072Vistas

¿Por qué no podemos formalizar el cálculo lambda en la lógica de primer orden?

Resuelta

Preguntado el 22 de Febrero, 2017 por Jacob Denson

5

1Resp

117Vistas

Funciones ordinarias vs. funciones de lenguaje de primer orden

Resuelta

Preguntado el 29 de Octubre, 2021 por antonio

2

2Resp

162Vistas

¿Cómo visualizar predicados de aridad arbitraria (ternarios, cuaternarios...)?

Resuelta

Preguntado el 23 de Octubre, 2019 por user1518183

3

1Resp

229Vistas

¿Por qué es paradójico que "Ann cree que Bob asume que Ann cree que la suposición de Bob es incorrecta"?

Resuelta

Preguntado el 4 de Abril, 2015 por Lindsay

1

2Resp

394Vistas

Demostración de deducción natural de $ a = b \rightarrow f (a) = f (b) $. ¿Dónde me equivoqué?

Resuelta

Preguntado el 4 de Noviembre, 2016 por tao quam

38

6Resp

5433Vistas

¿Hay más verdades que pruebas?

Resuelta

Preguntado el 26 de Junio, 2023 por simple jack

7

1Resp

251Vistas

¿Existe algún libro de lógica matemática con un estilo similar al libro "Análisis 1" del matemático Terence Tao?

Resuelta

Preguntado el 24 de Abril, 2023 por ju so

1

1Resp

647Vistas

Si F es satisfacible entonces ¬F es insatisfacible.

Resuelta

Preguntado el 16 de Enero, 2019 por OCTAVIAN

1

1Resp

119Vistas

En ningún wff son los símbolos $\neg$ y $)$ uno al lado del otro

Resuelta

Preguntado el 22 de Abril, 2020 por Miep

5

1Resp

1662Vistas

¿Una explicación sencilla, pero no superficial, de lo que significa "paramodulación" en el contexto de la demostración automatizada de teoremas?

Resuelta

Preguntado el 13 de Julio, 2014 por SixthOfFour

1

1Resp

147Vistas

Teorema de Fraïsse en "Un curso de teoría de modelos" de Bruno Poizat

Resuelta

Preguntado el 23 de Junio, 2020 por liang

4

1Resp

47Vistas

Lógica de predicados - Intente demostrar primero la satisfabilidad o insatisfabilidad

Resuelta

Preguntado el 14 de Agosto, 2022 por Scorate

4

1Resp

136Vistas

¿Existen razones realmente convincentes para permitir deducciones naturales en fórmulas con variables libres?

Resuelta

Preguntado el 30 de Julio, 2017 por Eric

3

2Resp

84Vistas

Intentando comprender las reglas de inferencia del Cálculo Secuencial para cuantificadores $\forall$ y $\exists$ .

Resuelta

Preguntado el 22 de Noviembre, 2021 por joseville

1

1Resp

62Vistas

El principio de elección finita para una sola familia de conjuntos (ZF)

Resuelta

Preguntado el 11 de Agosto, 2019 por Tom Johnson

3

1Resp

108Vistas

Ultraproductos y compactificación de las álgebras de Lindenbaum

Resuelta

Preguntado el 19 de Septiembre, 2018 por bksunday

1

2Resp

64Vistas

Pregunta sobre la búsqueda de fórmulas en el cálculo de predicados

Resuelta

Preguntado el 20 de Septiembre, 2016 por aoetalks

2

3Resp

124Vistas

Lógica de primer orden: ¿es ésta una interpretación válida de una frase?

Abierta

Preguntado el 13 de Marzo, 2019 por Unknowledgeable

4

3Resp

652Vistas

Prueba de deducción natural de $(\forall x.P(x))\land(\forall y.P(y) \implies Q(y)) \vdash \forall z.Q(z)$

Resuelta

Preguntado el 22 de Agosto, 2017 por Nathan Donze

1

1Resp

47Vistas

Analizar la aclaración de la forma lógica

Resuelta

Preguntado el 1 de Junio, 2021 por Alejandro Ruiz

2

2Resp

86Vistas

¿Existe una fórmula lógica $P$ s.t. $\forall x(\phi(x)\lor\psi(x))\iff P(\forall x\phi(x),\exists x\phi(x), \forall x\psi(x),\exists x\psi(x))$ ?

Abierta

Preguntado el 30 de Octubre, 2022 por Physor

2

2Resp

1173Vistas

¿Cómo desplazar cuantificadores al principio de una fórmula?

Resuelta

Preguntado el 17 de Diciembre, 2017 por Rose

3

1Resp

416Vistas

¿Por qué incluir la igualdad en FOL para ZFC?

Resuelta

Preguntado el 14 de Abril, 2016 por Constantine

1

1Resp

64Vistas

Un idioma $\mathcal{L}$ con $n$ las proposiciones atómicas pueden expresar $2^{2^n}$ proposiciones no equivalentes

Resuelta

Preguntado el 9 de Mayo, 2022 por pahohu

3

2Resp

253Vistas

Dos fórmulas con distintas variables libres no son semánticamente equivalentes

Resuelta

Preguntado el 8 de Septiembre, 2018 por Harry Stoteles

7

1Resp

113Vistas

Demostrar que una clase de estructuras es existencialmente axiomatizable si es cerrada bajo la toma de superestructuras.

Resuelta

Preguntado el 29 de Octubre, 2020 por yeet

5

2Resp

1112Vistas

Validez indecidible en lógica de primer orden

Resuelta

Preguntado el 19 de Diciembre, 2013 por Murdock

Preguntas ciencias first-order-logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Por qué son imposibles los modelos de igualdad?

Prueba formal de un hecho muy simple.

Mapeo de problemas simples de primer orden a la teoría de tipos

¿Por qué no podemos formalizar el cálculo lambda en la lógica de primer orden?

Funciones ordinarias vs. funciones de lenguaje de primer orden

¿Cómo visualizar predicados de aridad arbitraria (ternarios, cuaternarios...)?

¿Por qué es paradójico que "Ann cree que Bob asume que Ann cree que la suposición de Bob es incorrecta"?

Demostración de deducción natural de $ a = b \rightarrow f (a) = f (b) $. ¿Dónde me equivoqué?

¿Hay más verdades que pruebas?

¿Existe algún libro de lógica matemática con un estilo similar al libro "Análisis 1" del matemático Terence Tao?

Si F es satisfacible entonces ¬F es insatisfacible.

En ningún wff son los símbolos $\neg$ y $)$ uno al lado del otro

¿Una explicación sencilla, pero no superficial, de lo que significa "paramodulación" en el contexto de la demostración automatizada de teoremas?

Teorema de Fraïsse en "Un curso de teoría de modelos" de Bruno Poizat

Lógica de predicados - Intente demostrar primero la satisfabilidad o insatisfabilidad

¿Existen razones realmente convincentes para permitir deducciones naturales en fórmulas con variables libres?

Intentando comprender las reglas de inferencia del Cálculo Secuencial para cuantificadores $\forall$ y $\exists$ .

El principio de elección finita para una sola familia de conjuntos (ZF)

Ultraproductos y compactificación de las álgebras de Lindenbaum

Pregunta sobre la búsqueda de fórmulas en el cálculo de predicados

Lógica de primer orden: ¿es ésta una interpretación válida de una frase?

Prueba de deducción natural de $(\forall x.P(x))\land(\forall y.P(y) \implies Q(y)) \vdash \forall z.Q(z)$

Analizar la aclaración de la forma lógica

¿Existe una fórmula lógica $P$ s.t. $\forall x(\phi(x)\lor\psi(x))\iff P(\forall x\phi(x),\exists x\phi(x), \forall x\psi(x),\exists x\psi(x))$ ?

¿Cómo desplazar cuantificadores al principio de una fórmula?

¿Por qué incluir la igualdad en FOL para ZFC?

Un idioma $\mathcal{L}$ con $n$ las proposiciones atómicas pueden expresar $2^{2^n}$ proposiciones no equivalentes

Dos fórmulas con distintas variables libres no son semánticamente equivalentes

Demostrar que una clase de estructuras es existencialmente axiomatizable si es cerrada bajo la toma de superestructuras.

Validez indecidible en lógica de primer orden

Etiquetas mas usadas

i-Ciencias.com

Powered by: