R3
De Lógica informática (2014-15)
Relación 3: Temas 1 y 2
Ejercicio 1. Formalizar, y decidir la corrección, del siguiente argumento
Si Dios fuera capaz de evitar el mal y quisiera hacerlo, lo haría. Si Dios fuera incapaz de evitar el mal, no sería omnipotente; si no quisiera evitar el mal sería malévolo. Dios no evita el mal. Si Dios existe, es omnipotente y no es malévolo. Luego, Dios no existe.
Usando los símbolos C: Dios es capaz de evitar el mal, Q: Dios quiere evitar el mal, O: Dios es omnipotente, M: Dios es malévolo, P: Dios evita el mal, E: Dios existe.
Solución:
Ejercicio 2. Demostrar o refutar las siguiente proposición: Para todo conjunto de fórmula S y para toda fórmula F se verifica que si F no es consecuencia de S, entonces ¬F es consecuencia de S.
Solución:
Ejercicio 3. Demostrar mediante deducción natural:
- (p → q) → r ⊧ p → (q → r)
Solución:
Ejercicio 4. Demostrar mediante deducción natural:
- (p → q) ∧ (p → r) ⊧ p → q ∧ r
Solución:
Ejercicio 5. Demostrar mediante deducción natural:
- (p → r) ∧ (q → r) ⊧ p ∨ q → r
Solución:
Ejercicio 6. Demostrar mediante deducción natural:
- {p → r, r → ¬ q} ⊧ ¬(p ∧ q)
Solución: