Logica
Karla B Chable SuarezApuntes4 de Mayo de 2021
2.175 Palabras (9 Páginas)86 Visitas
Ejercicio 8 - Pruebe y justifique los siguientes argumentos por medio de la PRUEBA FORMAL
Premisas
- 1. R ɔ (H• L)
2. (H •L) ɔ F
3. R ؞ F v H
Líneas de prueba Justificación Cálculo
4) H• L 1,3 M.P
5) F 2,4 M.P
6) F v H 6 Adición de H
Premisas
2) 1. M ɔ (P • Q)
2. ~P ؞ ~M
Líneas de prueba Justificación Cálculo
3) M ɔ (P v Q) 1 Adición Q
4) (~P • ~Q) 3 Teorema de Morgan
5) ~M 1,4 M.T
Premisas
3) 1. (A v B) ɔ Q
- H ɔ ~Q
- A • F ؞ ~H
Líneas de prueba Justificación Cálculo
4) A 1 simplificación de A
5) A v B 4 adición B
6) Q 1, 5 MP
7) ~~Q 6 doble negación
8) ~H 2,7 M.T
Premisas
4) 1. H ɔ Q
2. F ɔ R
3. ~ (R • Q) ؞ H ɔ ~F
Líneas de prueba Justificación Cálculo
4) ~ R • ~Q 3 Teorema de Morgan
5) R 4 Conmutación
6) H ɔ Q • F ɔ R 1,2 conjunción
7) ~H v F 6,5 Dilema destructivo
8) H ɔ ~F 7 Definición de implicación material
...