View
62
Download
0
Category
Preview:
Citation preview
• Da premissa (p ∧ r), pela Regra da Simplificação (SIMP), inferimos p.
• Da premissa (p → q) e de p (resultado anterior), pela Regra Modus Ponens
(MP), inferimos q, que é a conclusão do argumento dado.
• Deste modo, a conclusão pode ser deduzida das duas premissas do argumento
dado por meio das Regras de Inferência, e por conseguinte o argumento dado
é válido.
22
Recommended