Preguntas ciencias de first-order-logic04

1

2Resp

79Vistas

¿Son equivalentes estas fórmulas de predicado?

Resuelta

Preguntado el 17 de Julio, 2018 por Ali

2

1Resp

176Vistas

Distribución universal de cuantificadores

Resuelta

Preguntado el 27 de Enero, 2013 por Richard Toney

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

4

3Resp

2352Vistas

Prueba de la regla de inferencia de resolución sin tabla de verdad

Resuelta

Preguntado el 26 de Diciembre, 2015 por saurabh

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

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

2

1Resp

55Vistas

Confusión en la prueba del lema del marcador 2.1.14, $T \vDash \phi \implies \exists \Delta \subseteq T, |\Delta| \in \mathbb{N} \land \Delta \vDash T$

Resuelta

Preguntado el 8 de Abril, 2020 por Enrico Borba

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

1

1Resp

199Vistas

En la notación del constructor de conjuntos, ¿el predicado debe tener sólo una variable libre?

Resuelta

Preguntado el 28 de Julio, 2016 por Nethesis

5

1Resp

159Vistas

¿Son conservadoras las anotaciones en ZF?

Resuelta

Preguntado el 1 de Mayo, 2018 por V. Semeria

1

1Resp

245Vistas

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

Resuelta

Preguntado el 3 de Noviembre, 2017 por Taroccoesbrocco

3

3Resp

816Vistas

Existe infinitamente como un cuantificador numérico

Resuelta

Preguntado el 6 de Octubre, 2019 por subcat

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

63Vistas

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

Resuelta

Preguntado el 5 de Enero, 2021 por JoJolyne

3

2Resp

283Vistas

Lista finita de axiomas de $\mathsf{ACA}_0$ - ¿referencia?

Resuelta

Preguntado el 2 de Octubre, 2014 por masterxilo

1

1Resp

146Vistas

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

Resuelta

Preguntado el 30 de Junio, 2020 por Patrick Browne

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

218Vistas

Homomorfismo entre estructuras en la lógica de primer orden

Resuelta

Preguntado el 31 de Enero, 2018 por user15269

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

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

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

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

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

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

1Resp

302Vistas

Teoría de primer orden con ordenación lineal

Resuelta

Preguntado el 9 de Marzo, 2017 por Rett Hamin

1

2Resp

230Vistas

Problema lógico de primer orden

Resuelta

Preguntado el 24 de Julio, 2013 por artificer

2

1Resp

161Vistas

Gran problema de consistencia lógica de primer orden

Resuelta

Preguntado el 6 de Julio, 2014 por Usuario no registrado

2

0Resp

129Vistas

¿Todo conjunto estándar tiene una cardinalidad estándar?

Resuelta

Preguntado el 3 de Febrero, 2019 por Zuhair

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

2Resp

96Vistas

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

Resuelta

Preguntado el 20 de Marzo, 2020 por S.Cramer

Preguntas ciencias first-order-logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Son equivalentes estas fórmulas de predicado?

Distribución universal de cuantificadores

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

Prueba de la regla de inferencia de resolución sin tabla de verdad

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

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

Confusión en la prueba del lema del marcador 2.1.14, $T \vDash \phi \implies \exists \Delta \subseteq T, |\Delta| \in \mathbb{N} \land \Delta \vDash T$

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

En la notación del constructor de conjuntos, ¿el predicado debe tener sólo una variable libre?

¿Son conservadoras las anotaciones en ZF?

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

Existe infinitamente como un cuantificador numérico

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

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

Lista finita de axiomas de $\mathsf{ACA}_0$ - ¿referencia?

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

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

Homomorfismo entre estructuras en la lógica de primer orden

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

Ejemplo y explicación de teorías de 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?

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

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

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

Teoría de primer orden con ordenación lineal

Problema lógico de primer orden

Gran problema de consistencia lógica de primer orden

¿Todo conjunto estándar tiene una cardinalidad estándar?

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

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

Etiquetas mas usadas

i-Ciencias.com

Powered by: