Escolar Documentos
Profissional Documentos
Cultura Documentos
UNIDAD 1: PASÓ 6
Métodos para probar la validez de
argumento
Actividades a desarrollar.
Solución:
𝑃1 ; ¬ 𝑝 → 𝑞
𝑃2 : 𝑞 → 𝑟
𝑃3 : ¬ 𝑟
∴ 𝑝
𝑃2 : 𝑞 → 𝑟
𝑃3 : ¬ 𝑟
𝑃4 : ¬ 𝑝 → 𝑟 (𝐻𝑆𝑃1,𝑃2 )
𝑃5 : ¬ (¬ 𝑝) (𝑇𝑇𝑃4 ,𝑃3 )
𝑃6 : 𝑝 (𝐷𝑁𝑃5 )
{[(¬ 𝑝 → 𝑞) ∧ (𝑞 → 𝑟)] ∧ ¬ 𝑟} → 𝑝