Preguntas ciencias de propositional-calculus

1

4Resp

185Vistas

La equivalencia es falsa vs La equivalencia es incorrecta

Resuelta

Preguntado el 4 de Octubre, 2017 por Aymane Fihadi

2

2Resp

196Vistas

Si A→(B∧C), demostrar (D→A) → (D→C) sin usar prueba condicional.

Abierta

Preguntado el 2 de Noviembre, 2015 por John Gao

2

2Resp

89Vistas

Probar usando propiedades de equivalencia lógica $(P \wedge (P \to (Q \to R))) \to (Q \to R)$ es una tautología

Resuelta

Preguntado el 20 de Julio, 2019 por Usuario no registrado

3

6Resp

481Vistas

¿Es $p \lor (q \land r) \equiv p \land (q \lor r)$ ?

Resuelta

Preguntado el 19 de Septiembre, 2019 por chaosink

5

4Resp

604Vistas

Resolviendo un problema al estilo Smullyan de un caballero y mentiroso usando deducción natural. ¿Cómo acortar esta prueba?

Resuelta

Preguntado el 7 de Diciembre, 2019 por Eleonore Saint James

2

1Resp

74Vistas

¿Es correcto derivar así $\bot\vdash \varphi$ (regla de la explosión) a partir del modus tollendo ponens y sugerirías alguna otra forma de hacerlo?

Resuelta

Preguntado el 27 de Septiembre, 2017 por Pooria

1

2Resp

4997Vistas

Simplificar una proposición

Resuelta

Preguntado el 18 de Abril, 2013 por jbandi

3

1Resp

1073Vistas

Funcional completo y xor

Resuelta

Preguntado el 2 de Mayo, 2014 por Ivan N.

1

1Resp

63Vistas

¿Por qué la lógica proposicional a menudo se considera solo un "juguete"?

Resuelta

Preguntado el 22 de Febrero, 2019 por Gabriele Scarlatti

3

3Resp

281Vistas

Aplicar verdades vacuas a las implicaciones del mundo real

Resuelta

Preguntado el 16 de Octubre, 2017 por Vpie649

42

1Resp

2818Vistas

¿Cómo puedo hacer que las demostraciones con fórmulas largas sean más legibles sin sacrificar la claridad?

Resuelta

Preguntado el 21 de Septiembre, 2021 por Ten O'Four

1

1Resp

176Vistas

Demostrar que $((p\lor q)\land(p\lor(\lnot q)))\rightarrow p$ es una tautología

Resuelta

Preguntado el 17 de Enero, 2013 por Von Landfried

2

3Resp

459Vistas

¿Cómo puedo demostrar que esta afirmación es una tautología sin utilizar tablas de verdad (prueba de transformación)?

Resuelta

Preguntado el 19 de Agosto, 2016 por Arne Cordes

12

4Resp

561Vistas

¿Está bien que las afirmaciones vacuamente ciertas puedan contradecirse entre sí?

Resuelta

Preguntado el 26 de Enero, 2022 por SebastianLinde

1

1Resp

647Vistas

Si F es satisfacible entonces ¬F es insatisfacible.

Resuelta

Preguntado el 16 de Enero, 2019 por OCTAVIAN

2

2Resp

543Vistas

Verificación de pruebas para la deducción natural en lógica proposicional

Resuelta

Preguntado el 10 de Mayo, 2016 por user6248190

1

1Resp

69Vistas

El libro de Mendelson, función de verdad de n argumento

Resuelta

Preguntado el 14 de Septiembre, 2020 por Physor

2

2Resp

61Vistas

¿Cómo utilizar correctamente la ley distributiva en lógica proposicional?

Resuelta

Preguntado el 23 de Mayo, 2019 por xava

3

2Resp

155Vistas

Prueba $(A\rightarrow C)\land(C\rightarrow\neg B) \land B\rightarrow\neg A$ es válida sin utilizar tablas de verdad

Resuelta

Preguntado el 3 de Julio, 2016 por Jonathan

1

2Resp

298Vistas

Definición inductiva de una fórmula mediante inducción estructural

Resuelta

Preguntado el 10 de Mayo, 2018 por user3133165

1

2Resp

3019Vistas

Demostración de la insatisfactibilidad con resolución proposicional

Resuelta

Preguntado el 16 de Agosto, 2015 por Ender

1

1Resp

3069Vistas

Preguntas y respuestas del examen de lógica proposicional

Resuelta

Preguntado el 13 de Enero, 2014 por user120282

1

2Resp

373Vistas

¿Las premisas implican lógicamente la conclusión?

Resuelta

Preguntado el 12 de Mayo, 2013 por guylaine

2

1Resp

480Vistas

Deducciones naturales de la lógica proposicional y la lógica de predicados

Resuelta

Preguntado el 1 de Mayo, 2014 por user146767

1

2Resp

78Vistas

La lógica proposicional se enfrenta a la diplomacia en el lugar de trabajo

Resuelta

Preguntado el 8 de Marzo, 2019 por user2111880

6

1Resp

511Vistas

Confusión sobre la definición de "modelo

Resuelta

Preguntado el 17 de Octubre, 2018 por user525966

1

3Resp

157Vistas

condición suficiente frente a condición necesaria

Resuelta

Preguntado el 10 de Abril, 2020 por Martin Bonner

4

2Resp

1840Vistas

¿Es posible que el DNF y el CNF sean el mismo

Resuelta

Preguntado el 2 de Agosto, 2018 por user10168997

2

3Resp

72Vistas

Equivalencia lógica para $p \lor q$

Resuelta

Preguntado el 25 de Septiembre, 2020 por user665125

3

3Resp

204Vistas

Necesito ayuda para encontrar formas normales disyuntivas y conjuntivas

Resuelta

Preguntado el 19 de Septiembre, 2016 por Eques316

Preguntas ciencias propositional-calculus

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

La equivalencia es falsa vs La equivalencia es incorrecta

Si A→(B∧C), demostrar (D→A) → (D→C) sin usar prueba condicional.

Probar usando propiedades de equivalencia lógica $(P \wedge (P \to (Q \to R))) \to (Q \to R)$ es una tautología

¿Es $p \lor (q \land r) \equiv p \land (q \lor r)$ ?

Resolviendo un problema al estilo Smullyan de un caballero y mentiroso usando deducción natural. ¿Cómo acortar esta prueba?

¿Es correcto derivar así $\bot\vdash \varphi$ (regla de la explosión) a partir del modus tollendo ponens y sugerirías alguna otra forma de hacerlo?

Simplificar una proposición

Funcional completo y xor

¿Por qué la lógica proposicional a menudo se considera solo un "juguete"?

Aplicar verdades vacuas a las implicaciones del mundo real

¿Cómo puedo hacer que las demostraciones con fórmulas largas sean más legibles sin sacrificar la claridad?

Demostrar que $((p\lor q)\land(p\lor(\lnot q)))\rightarrow p$ es una tautología

¿Cómo puedo demostrar que esta afirmación es una tautología sin utilizar tablas de verdad (prueba de transformación)?

¿Está bien que las afirmaciones vacuamente ciertas puedan contradecirse entre sí?

Si F es satisfacible entonces ¬F es insatisfacible.

Verificación de pruebas para la deducción natural en lógica proposicional

El libro de Mendelson, función de verdad de n argumento

¿Cómo utilizar correctamente la ley distributiva en lógica proposicional?

Prueba $(A\rightarrow C)\land(C\rightarrow\neg B) \land B\rightarrow\neg A$ es válida sin utilizar tablas de verdad

Definición inductiva de una fórmula mediante inducción estructural

Demostración de la insatisfactibilidad con resolución proposicional

Preguntas y respuestas del examen de lógica proposicional

¿Las premisas implican lógicamente la conclusión?

Deducciones naturales de la lógica proposicional y la lógica de predicados

La lógica proposicional se enfrenta a la diplomacia en el lugar de trabajo

Confusión sobre la definición de "modelo

condición suficiente frente a condición necesaria

¿Es posible que el DNF y el CNF sean el mismo

Equivalencia lógica para $p \lor q$

Necesito ayuda para encontrar formas normales disyuntivas y conjuntivas

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: