Diferencia entre revisiones de «Lógica proposicional/Deducciones condicionales/Evaluación»
Creando (en progreso) |
(Sin diferencias)
|
Revisión del 18:12 17 ene 2016
Evaluación de la lección 11 |
Deducciones condicionales |
En cada uno de los siguientes ejercicios es necesario identificar las afirmaciones, expresarlas de forma simbólica, identificar las premisas y la conclusión y escribirlas como proposiciones compuestas definidas en términos de las afirmaciones. Finalmente se deben organizar en una tabla de deducción y utilizar las reglas de inferencia y las equivalencias lógicas para demostrar que la conclusión es una consecuencia lógica de las premisas. Para ejercitar los conceptos aprendidos durante la lección es necesario resolver los ejercicios usando deducciones condicionales, aun cuando es posible resolverlos usando la técnica de deducciones directas.
Ejercicio #1
Texto del ejercicio #1
Solución |
---|
Solución del ejercicio #1. |
Ejercicio #2
Texto del ejercicio #2
Solución |
---|
Solución del ejercicio #2. |
Ejercicio #3
Texto del ejercicio #3
Solución |
---|
Solución del ejercicio #3. |
Ejercicio #4
Texto del ejercicio #4
Solución |
---|
Solución del ejercicio #4. |
Ejercicio #5
Texto del ejercicio #5
Solución |
---|
Solución del ejercicio #5. |
Proyecto: Lógica proposicional |
Anterior: Lectura de la lección 11 — Evaluación — Siguiente: Lectura de la lección 12 |