Trabajo para La Sustentacion de Maicolhoyos
Trabajo para La Sustentacion de Maicolhoyos
Trabajo para La Sustentacion de Maicolhoyos
V V V F F v V V V V V V V
V V F F V v F F V F F F V
V F V F F v V V V V V V V
V F F F V v F V V F F F V
F V V V F v V V F V V F V
F V F V V v V F V V F F V
F F V V F f V V F F F F V
F F F V V f V V V F F F V
Tabla hecha en el simulador
P1: (𝑝 ∨ 𝑞)
P3: (𝑞 → 𝑟)
P4: (¬𝑝 → ¬𝑟)
Conclusión: p
P2: (𝑝 → 𝑟)
P3: : (𝑞 → 𝑟)
P5: (𝑝 ∨ 𝑞) → 𝑟
(𝑝 ∨ 𝑞)
P6: r
Modus ponen
P4: (¬p→¬r)
P6: r→q
P modus tollens
P1: (p∨q)
P2: (𝑝 → 𝑟)
P3: (𝑞 → 𝑟)