Preguntas ciencias de logic037

4

3Resp

2353Vistas

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

Resuelta

Preguntado el 26 de Diciembre, 2015 por saurabh

3

1Resp

84Vistas

¿Cómo podemos definir en teoría de conjuntos, para cada n, un predicado de verdad parcial $Tr_n$ para $\Sigma_n$ ( $\Pi_n$ ) que a su vez es $\Sigma_n$ ( $\Pi_n$ )?

Resuelta

Preguntado el 6 de Octubre, 2021 por Matteo __

2

1Resp

275Vistas

¿Cómo puedo demostrar que la lógica de Gödel-Dummett tiene la propiedad de Scroggs?

Abierta

Preguntado el 28 de Febrero, 2017 por Galois Ronald

2

3Resp

90Vistas

Estructura lógica de la prueba elemental de la teoría de los números

Resuelta

Preguntado el 7 de Abril, 2014 por Junior Mayhé

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

125Vistas

¿Cómo puedo demostrarlo? $(A \Rightarrow B) \Rightarrow ((A \wedge C)\Rightarrow D)$ ?

Resuelta

Preguntado el 16 de Febrero, 2017 por Ben

3

1Resp

323Vistas

¿Declaraciones fuera de la Jerarquía de Kleene?

Resuelta

Preguntado el 18 de Enero, 2012 por yfeldblum

2

1Resp

108Vistas

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

0

1Resp

131Vistas

Necesito ayuda para verificar las respuestas a estos ejercicios [Velleman, Capítulo 1.1, P5]

Resuelta

Preguntado el 12 de Septiembre, 2015 por Force Flow

13

2Resp

397Vistas

¿Es posible formalizar la relación entre diferentes pruebas de un mismo teorema?

Resuelta

Preguntado el 27 de Septiembre, 2011 por Max Muller

2

1Resp

56Vistas

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

1

1Resp

453Vistas

¿Existen cadenas de herramientas CPLD / FPGA y flujos de trabajo que eviten los IDE de los proveedores?

Resuelta

Preguntado el 12 de Diciembre, 2018 por SalsaRai

4

1Resp

223Vistas

Esbozos de categorías de modelos de teorías completas

Resuelta

Preguntado el 11 de Octubre, 2013 por ANJUM SHAHZAD

2

3Resp

3203Vistas

¿La propiedad asociativa de XOR es demostrable o axiomática?

Resuelta

Preguntado el 8 de Noviembre, 2012 por jsj

1

1Resp

156Vistas

Si hay Predicados antes del Cálculo de Predicados, ¿por qué se llama así?

Resuelta

Preguntado el 14 de Abril, 2015 por massoud

20

4Resp

17792Vistas

Lógica proposicional, lógica de primer orden y lógica de orden superior

Resuelta

Preguntado el 21 de Febrero, 2010 por Leimi

4

2Resp

2962Vistas

Restricciones a la generalización universal

Resuelta

Preguntado el 16 de Abril, 2012 por Magpie

4

1Resp

452Vistas

¿Aplicaciones sencillas del forzamiento en la teoría de la recursión?

Resuelta

Preguntado el 22 de Enero, 2018 por Michael Weiss

3

2Resp

91Vistas

Significado de los cuantificadores de predicado duplicados

Resuelta

Preguntado el 23 de Diciembre, 2013 por user2108462

4

2Resp

252Vistas

Formalización de la descripción definida (Russell)

Resuelta

Preguntado el 12 de Enero, 2014 por AggieBill

1

1Resp

64Vistas

Subestructura elemental en el anillo de polinomios

Resuelta

Preguntado el 14 de Noviembre, 2018 por Gleb Chili

23

1Resp

520Vistas

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

Resuelta

Preguntado el 20 de Marzo, 2019 por kevtrout

1

1Resp

101Vistas

Tablero de control con lógica simple

Resuelta

Preguntado el 5 de Junio, 2020 por v217

26

2Resp

1397Vistas

Decidibilidad del problema de los 3 cuerpos

Resuelta

Preguntado el 16 de Octubre, 2021 por Ellery Newcomer

1

1Resp

63Vistas

i inicialmente se infectan menos de n alumnos de la clase, nunca se infectará toda la clase. Demuestra este teorema.

Abierta

Preguntado el 29 de Agosto, 2021 por Azhar

1

1Resp

201Vistas

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

2

2Resp

210Vistas

Cómo se encuentra esta forma disyuntiva a través del álgebra proposicional

Resuelta

Preguntado el 4 de Febrero, 2014 por Linh Le

1

2Resp

49Vistas

Demostrar que $\{H_1,\dots,H_k\} \models F$ si y sólo si $(H_1 \land \dots \land H_k) \rightarrow F$ es una tautología

Abierta

Preguntado el 1 de Diciembre, 2018 por heaig

2

1Resp

254Vistas

Una pregunta sobre el nombre de una propiedad

Resuelta

Preguntado el 3 de Agosto, 2015 por irraju

5

1Resp

161Vistas

¿Son conservadoras las anotaciones en ZF?

Resuelta

Preguntado el 1 de Mayo, 2018 por V. Semeria

Preguntas ciencias logic

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

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

¿Cómo podemos definir en teoría de conjuntos, para cada n, un predicado de verdad parcial $Tr_n$ para $\Sigma_n$ ( $\Pi_n$ ) que a su vez es $\Sigma_n$ ( $\Pi_n$ )?

¿Cómo puedo demostrar que la lógica de Gödel-Dummett tiene la propiedad de Scroggs?

Estructura lógica de la prueba elemental de la teoría de los números

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

¿Cómo puedo demostrarlo? $(A \Rightarrow B) \Rightarrow ((A \wedge C)\Rightarrow D)$ ?

¿Declaraciones fuera de la Jerarquía de Kleene?

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

Necesito ayuda para verificar las respuestas a estos ejercicios [Velleman, Capítulo 1.1, P5]

¿Es posible formalizar la relación entre diferentes pruebas de un mismo teorema?

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$

¿Existen cadenas de herramientas CPLD / FPGA y flujos de trabajo que eviten los IDE de los proveedores?

Esbozos de categorías de modelos de teorías completas

¿La propiedad asociativa de XOR es demostrable o axiomática?

Si hay Predicados antes del Cálculo de Predicados, ¿por qué se llama así?

Lógica proposicional, lógica de primer orden y lógica de orden superior

Restricciones a la generalización universal

¿Aplicaciones sencillas del forzamiento en la teoría de la recursión?

Significado de los cuantificadores de predicado duplicados

Formalización de la descripción definida (Russell)

Subestructura elemental en el anillo de polinomios

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

Tablero de control con lógica simple

Decidibilidad del problema de los 3 cuerpos

i inicialmente se infectan menos de n alumnos de la clase, nunca se infectará toda la clase. Demuestra este teorema.

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

Cómo se encuentra esta forma disyuntiva a través del álgebra proposicional

Demostrar que $\{H_1,\dots,H_k\} \models F$ si y sólo si $(H_1 \land \dots \land H_k) \rightarrow F$ es una tautología

Una pregunta sobre el nombre de una propiedad

¿Son conservadoras las anotaciones en ZF?

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: