Baixe o app para aproveitar ainda mais
Prévia do material em texto
Eqüivalências Notáveis 1. Idempotência [ID]: p p p ou p p p 2. Comutatividade [COM]: p q q p ou p q q p 3. Associatividade [ASSOC]: p ( q r ) ( p q ) r ou p ( q r ) ( p q ) r 4. Distributividade [DIST]: p ( q r ) ( p q ) ( p r ) ou p ( q r ) ( p q ) ( p r ) 5. Dupla Negação [DN]: p ( p ) 6. Leis de De Morgan [DM]: (p q) p q ou (p q) p q 7. Condicional [COND]: p q p q 8. Bicondicional [BICON]: p q ( p q ) ( q p ) ou p q ( p q ) ( p q ) 9. Contraposição [CP]: p q q p 10. Exportação – Importação [EI]: p q r p ( q r ) 11. Eqüivalências com tautologias [ET]: p p V ou p V p 12. Eqüivalências com contradições [EC]: p p F ou p F p Regras de Inferência 1. Dupla negação [DN]: p p ou p p 2. Conjunção [C]: p , q p q 3. Disjunção [D]: p p q 4. Simplificação [S]: p q p 5. Simplificação Disjuntiva [S+]: ( p q ) ( p q ) p 6. Absorção [AB]: p q p p q 7. Modus Ponens [MP]: p ( p q ) q 8. Modus Tollens [MT]: ( p q ) q p 9. Silogismo disjuntivo [SD]: ( p q) p q 10. Silogismo Hipotético [SH]: ( p q ) ( q r ) p r 11. Dilema Construtivo [DC]: ( p q ) ( r s ) ( p r ) q s 12. Dilema Destrutivo [DD]: ( p q ) ( r s ) ( q s ) p r
Compartilhar