Provas de Inferência e Equivalência Logica - Exercicios Resolvidos

20 Use regras de inferência e de equivalência para provar todas as passagens como foi feito em aula a P1 p q r P2 p Q p r b P1 N O P2 N O P P3 N P Q N 2 a 𝑃1 𝑝 𝑞 𝑟 𝑃2 𝑝 Modus Ponens 𝑞 𝑟 Eliminação da Conjunção 𝑟 Introdução da Conjunção 𝑝 𝑟 b 𝑃1 𝑁 𝑂 𝑃2 𝑁 𝑂 𝑃 𝑃3 𝑁 𝑃 Lei de De Morgan 𝑁 𝑃 Implicação 𝑃 𝑁 Prova do condicional 𝑂 𝑁 Contrapositiva 𝑂 𝑁 𝑁 Modus Ponens 2 a P1 pqr P2 p qr Modus Ponens r Eliminação da Conjunção pr Introdução da Conjunção b P1 N O P2N O P P3 N P N P Lei de De Morgan P N Implicação O N Prova do condicional O N Contrapositiva N Modus Ponens