L1gica2

Apuntes

Lógica& Conectivos& TabelasVerdade & EquivalênciaLógica & ImplicaçãoLógica & Dedução& Boole ! Por Valdemar Lorenzon Junior. Base de leitura: Material professoras: Mônica e Viviane. Relembrando... Relação de equivalência Notação ⟺ Não é a bicondição Duas proposições são equivalentes quando o resultado de suas tabelas verdades são iguais . P Q é uma tautologia. Diz - se que uma proposição é equivalente a outra se na suas tabelas verdades não ocorre 10 nem 01. Equivalência lógica ⟺ Diz - se que uma proposição P(p, q, r ... ) equivale a uma proposição Q(p, q, r ... ) se todas as vezes que P for verdadeira Q também é verdadeira . O mesmo para falsa . Para indicar que P é equivalente a Q, usamos P ⟺ Q . Os símbolos e ⟺ são distintos! Exercício : Dadas as proposições (p ^ q), (p v q) ^ (p q) verifique a sua equivalência lógica . 4 p q p ^ q p v q p q (p v q) ^ (p q) 1 1 1 0 0 1 0 0 Tabelas verdade idênticas • Quais tabelas verdade são idênticas? • Se TV resultam idênticas,...