Preguntas de first-order-logic02

5

2Resp

139Vistas

¿Son equivalentes estas dos frases?

Resuelta

Preguntado el 20 de Mayo, 2022 por lbal

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

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

65Vistas

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

Resuelta

Preguntado el 25 de Septiembre, 2022 por tr1umph

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

2

2Resp

1174Vistas

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

Resuelta

Preguntado el 17 de Diciembre, 2017 por Rose

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

1

1Resp

47Vistas

Analizar la aclaración de la forma lógica

Resuelta

Preguntado el 1 de Junio, 2021 por Alejandro Ruiz

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

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

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

4

1Resp

47Vistas

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

Resuelta

Preguntado el 14 de Agosto, 2022 por Scorate

2

2Resp

162Vistas

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

Resuelta

Preguntado el 23 de Octubre, 2019 por user1518183

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

1

1Resp

80Vistas

¿Cuándo un lenguaje contable es un lenguaje no recursivo?

Resuelta

Preguntado el 11 de Septiembre, 2020 por Mima

1

1Resp

70Vistas

¿Esta teoría del recuento recursivo es equi-interpretable con la AP?

Resuelta

Preguntado el 20 de Septiembre, 2019 por Zuhair

3

1Resp

76Vistas

Deducción del teorema de compacidad a partir del teorema de completitud (en lógica de primer orden)

Resuelta

Preguntado el 3 de Febrero, 2016 por see

2

2Resp

116Vistas

Cómo definir nuevas constantes en el método Tableaux de la lógica de predicados

Resuelta

Preguntado el 27 de Febrero, 2015 por Drupalist

1

1Resp

162Vistas

Tablas lógicas de primer orden con cuantificadores múltiples

Resuelta

Preguntado el 16 de Abril, 2014 por CMPalmer

3

1Resp

86Vistas

Relevancia de una declaración sobre modelos de monstruos

Resuelta

Preguntado el 17 de Enero, 2021 por Idéophage

4

2Resp

199Vistas

Determinar si hay hiperintegros primos

Resuelta

Preguntado el 28 de Marzo, 2017 por Sven Cornets de Groot

4

1Resp

97Vistas

Modelos existencialmente cerrados de grafos sin arcos

Abierta

Preguntado el 8 de Junio, 2019 por user6232017

1

1Resp

414Vistas

Una teoría recursivamente enumerable sin un conjunto decidible de axiomas.

Resuelta

Preguntado el 11 de Abril, 2018 por Stefan

2

2Resp

97Vistas

¿Qué es " $\exists x \in S , \phi(x)$ ¿"abreviatura de"?

Resuelta

Preguntado el 20 de Marzo, 2020 por S.Cramer

2

1Resp

161Vistas

Gran problema de consistencia lógica de primer orden

Resuelta

Preguntado el 6 de Julio, 2014 por Usuario no registrado

3

2Resp

176Vistas

La introducción del cuantificador universal aparentemente sigue todas las reglas, sin embargo, no

Resuelta

Preguntado el 16 de Septiembre, 2020 por Dean P

1

2Resp

349Vistas

Ayuda con las reglas de identidad de la lógica de primer orden con igualdad

Resuelta

Preguntado el 3 de Noviembre, 2016 por Iconoclasteretic

1

1Resp

126Vistas

¿Es posible caracterizar la teoría de los dominios integrales sólo con la lógica de primer orden?

Resuelta

Preguntado el 17 de Enero, 2015 por Usuario no registrado

3

1Resp

97Vistas

Dadas todas las posibles relaciones k-arias sobre un conjunto de n elementos, ¿qué sentencias convergen a un porcentaje no n a medida que n va al infinito?

Resuelta

Preguntado el 8 de Mayo, 2019 por 2080

1

1Resp

265Vistas

Ejemplo y explicación de teorías de lógica de primer orden

Resuelta

Preguntado el 10 de Abril, 2017 por aturer

Preguntas de first-order-logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Son equivalentes estas dos frases?

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

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

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

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

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

¿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))$ ?

Analizar la aclaración de la forma lógica

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

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

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

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

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

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

¿Cuándo un lenguaje contable es un lenguaje no recursivo?

¿Esta teoría del recuento recursivo es equi-interpretable con la AP?

Deducción del teorema de compacidad a partir del teorema de completitud (en lógica de primer orden)

Cómo definir nuevas constantes en el método Tableaux de la lógica de predicados

Tablas lógicas de primer orden con cuantificadores múltiples

Relevancia de una declaración sobre modelos de monstruos

Determinar si hay hiperintegros primos

Modelos existencialmente cerrados de grafos sin arcos

Una teoría recursivamente enumerable sin un conjunto decidible de axiomas.

¿Qué es " $\exists x \in S , \phi(x)$ ¿"abreviatura de"?

Gran problema de consistencia lógica de primer orden

La introducción del cuantificador universal aparentemente sigue todas las reglas, sin embargo, no

Ayuda con las reglas de identidad de la lógica de primer orden con igualdad

¿Es posible caracterizar la teoría de los dominios integrales sólo con la lógica de primer orden?

Dadas todas las posibles relaciones k-arias sobre un conjunto de n elementos, ¿qué sentencias convergen a un porcentaje no n a medida que n va al infinito?

Ejemplo y explicación de teorías de lógica de primer orden

Etiquetas mas usadas

i-Ciencias.com

Powered by: