Preguntas ciencias de first-order-logic

I-Ciencias es una comunidad de preguntas y respuestas para amantes de la ciencia. Es totalmente gratuito.

Empieza en dos minutos

Así funciona i-Ciencias :

Cualquiera puede hacer una pregunta
Cualquiera puede responder
Se votan las mejores respuestas.

Puntuación Visitas Fecha

2Resp

111Vistas

¿Por qué son imposibles los modelos de igualdad?

Resuelta

Preguntado el 10 de Abril, 2023 por Terri Simon

1Resp

108Vistas

Prueba formal de un hecho muy simple.

Resuelta

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

2Resp

85Vistas

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

Resuelta

Preguntado el 25 de Marzo, 2013 por Feratile

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

1Resp

117Vistas

Funciones ordinarias vs. funciones de lenguaje de primer orden

Resuelta

Preguntado el 29 de Octubre, 2021 por antonio

2Resp

164Vistas

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

Resuelta

Preguntado el 23 de Octubre, 2019 por user1518183

1Resp

230Vistas

¿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

2Resp

395Vistas

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

6Resp

5434Vistas

¿Hay más verdades que pruebas?

Resuelta

Preguntado el 26 de Junio, 2023 por simple jack

1Resp

253Vistas

¿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

1Resp

647Vistas

Si F es satisfacible entonces ¬F es insatisfacible.

Resuelta

Preguntado el 16 de Enero, 2019 por OCTAVIAN

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

1Resp

1664Vistas

¿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

1Resp

149Vistas

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

Resuelta

Preguntado el 23 de Junio, 2020 por liang

1Resp

50Vistas

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

Resuelta

Preguntado el 14 de Agosto, 2022 por Scorate

1Resp

138Vistas

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

Resuelta

Preguntado el 30 de Julio, 2017 por Eric

2Resp

86Vistas

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

Resuelta

Preguntado el 22 de Noviembre, 2021 por joseville

1Resp

65Vistas

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

Resuelta

Preguntado el 11 de Agosto, 2019 por Tom Johnson

1Resp

111Vistas

Ultraproductos y compactificación de las álgebras de Lindenbaum

Resuelta

Preguntado el 19 de Septiembre, 2018 por bksunday

2Resp

65Vistas

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

Resuelta

Preguntado el 20 de Septiembre, 2016 por aoetalks

3Resp

127Vistas

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

Abierta

Preguntado el 13 de Marzo, 2019 por Unknowledgeable

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

1Resp

48Vistas

Analizar la aclaración de la forma lógica

Resuelta

Preguntado el 1 de Junio, 2021 por Alejandro Ruiz

2Resp

87Vistas

¿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

2Resp

1174Vistas

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

Resuelta

Preguntado el 17 de Diciembre, 2017 por Rose

1Resp

417Vistas

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

Resuelta

Preguntado el 14 de Abril, 2016 por Constantine

1Resp

65Vistas

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

2Resp

256Vistas

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

Resuelta

Preguntado el 8 de Septiembre, 2018 por Harry Stoteles

1Resp

114Vistas

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

2Resp

1113Vistas

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

Preguntas sin responder

i-Ciencias.com

Powered by: