Preguntas de first-order-logic

2

1Resp

543Vistas

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

Resuelta

Preguntado el 2 de Enero, 2017 por Yoar

1

1Resp

172Vistas

Utilizando $\aleph_0$ -categoricidad en la prueba de integridad de DLO

Resuelta

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

1

2Resp

86Vistas

¿Demostrar si una proposición de predicado es válida bajo todas las interpretaciones?

Resuelta

Preguntado el 18 de Marzo, 2018 por Tanster

1

2Resp

79Vistas

¿Son equivalentes estas fórmulas de predicado?

Resuelta

Preguntado el 17 de Julio, 2018 por Ali

1

1Resp

78Vistas

Ayuda con la traducción del cálculo de predicados

Abierta

Preguntado el 20 de Septiembre, 2021 por John Smith

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

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

Resuelta

Preguntado el 20 de Septiembre, 2019 por Zuhair

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

1

1Resp

218Vistas

Homomorfismo entre estructuras en la lógica de primer orden

Resuelta

Preguntado el 31 de Enero, 2018 por user15269

1

1Resp

63Vistas

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

Resuelta

Preguntado el 5 de Enero, 2021 por JoJolyne

1

1Resp

3305Vistas

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

Resuelta

Preguntado el 24 de Julio, 2017 por Willturner

2

2Resp

161Vistas

¿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

107Vistas

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

2

2Resp

136Vistas

Cuantificadores diferentes, misma variable

Resuelta

Preguntado el 11 de Octubre, 2015 por user279030

6

1Resp

119Vistas

Pruébalo: Imposible expresar "Hay al menos 7 objetos" cuantificando sobre sólo 6 variables

Resuelta

Preguntado el 25 de Junio, 2021 por Cassius12

1

1Resp

146Vistas

Se necesita ayuda para entender la paramodulación en Prover9.

Resuelta

Preguntado el 30 de Junio, 2020 por Patrick Browne

3

3Resp

816Vistas

Existe infinitamente como un cuantificador numérico

Resuelta

Preguntado el 6 de Octubre, 2019 por subcat

23

1Resp

518Vistas

¿Tiene "toda" teoría de primer orden una extensión conservadora finitamente axiomatizable?

Resuelta

Preguntado el 20 de Marzo, 2019 por kevtrout

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

0

1Resp

102Vistas

Demostración del teorema de la deducción en el cálculo secuencial

Resuelta

Preguntado el 17 de Julio, 2018 por Florian

1

1Resp

165Vistas

Lógica de primer orden : Predicados

Resuelta

Preguntado el 1 de Junio, 2017 por ADO R

1

3Resp

79Vistas

Utilizar cuantificadores para expresar y luego negar

Resuelta

Preguntado el 2 de Marzo, 2018 por G. Chouchani

2

2Resp

77Vistas

Simplificando $ x \leftrightarrow y$

Resuelta

Preguntado el 1 de Noviembre, 2018 por logic

2

3Resp

80Vistas

¿Cómo escribir una implicación cuyo antecedente cuantifica una variable en su consecuente?

Resuelta

Preguntado el 10 de Junio, 2019 por holomenicus

2

1Resp

158Vistas

¿Cuál es la diferencia entre un átomo y un término? (lógica)

Resuelta

Preguntado el 21 de Mayo, 2020 por BCI4evry1

2

1Resp

70Vistas

Si los conjuntos definidos por una fórmula son todos triviales, ¿qué podemos concluir de ello?

Resuelta

Preguntado el 23 de Noviembre, 2020 por pete

10

1Resp

1175Vistas

Ejemplo de teoría incompleta, pero decidible, y de teoría completa e indecidible, pregunta

Resuelta

Preguntado el 28 de Noviembre, 2018 por Stefan

1

1Resp

245Vistas

¿Las constantes de la verdad se consideran fórmulas atómicas?

Resuelta

Preguntado el 3 de Noviembre, 2017 por Taroccoesbrocco

2

1Resp

107Vistas

Dejemos que $M$ y $N$ sea $L$ -Estructuras, $h\colon M \cong N$ un isomorfismo. Mostrar $h$ es un mapa elemental.

Resuelta

Preguntado el 5 de Enero, 2015 por mrhappysmile

Preguntas de first-order-logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

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

Utilizando $\aleph_0$ -categoricidad en la prueba de integridad de DLO

¿Demostrar si una proposición de predicado es válida bajo todas las interpretaciones?

¿Son equivalentes estas fórmulas de predicado?

Ayuda con la traducción del cálculo de predicados

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

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

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?

Homomorfismo entre estructuras en la lógica de primer orden

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

¿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.

Cuantificadores diferentes, misma variable

Pruébalo: Imposible expresar "Hay al menos 7 objetos" cuantificando sobre sólo 6 variables

Se necesita ayuda para entender la paramodulación en Prover9.

Existe infinitamente como un cuantificador numérico

¿Tiene "toda" teoría de primer orden una extensión conservadora finitamente axiomatizable?

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

Demostración del teorema de la deducción en el cálculo secuencial

Lógica de primer orden : Predicados

Utilizar cuantificadores para expresar y luego negar

Simplificando $ x \leftrightarrow y$

¿Cómo escribir una implicación cuyo antecedente cuantifica una variable en su consecuente?

¿Cuál es la diferencia entre un átomo y un término? (lógica)

Si los conjuntos definidos por una fórmula son todos triviales, ¿qué podemos concluir de ello?

Ejemplo de teoría incompleta, pero decidible, y de teoría completa e indecidible, pregunta

¿Las constantes de la verdad se consideran fórmulas atómicas?

Dejemos que $M$ y $N$ sea $L$ -Estructuras, $h\colon M \cong N$ un isomorfismo. Mostrar $h$ es un mapa elemental.

Etiquetas mas usadas

i-Ciencias.com

Powered by: