Curso: Sistemas de Informação

Disciplina: Lógica

Equivalências Notáveis
1. Idempotência (ID): 7. Distributiva (DIST):
• P ^ P ≡ P; • P ^ (Q v R) ≡ (P ^ Q) v (P ^ R);
• PvP≡P • P v (Q ^ R) ≡ (P v Q) ^ ( P v R)

2. Comutação (COM): 8. De Morgan (DM):

• P ^ Q ≡ Q ^ P; • ~(P ^Q) ≡ ~P v ~Q;
• PVQ≡QvP • ~(P v Q) ≡ ~P ^ ~Q

3. Associação (ASSOC): 9. Condicional (COND): P → Q ≡ ~P v Q

• (P ^ Q) ^ R ≡ P ^ (Q ^ R);
• (P v Q) v R ≡ P v (Q v R) 10.. Bicondicional (BICOND):
• P ↔ Q ≡ (P → Q) ^ (Q → P);
4. Identidade (IDENT): • P ↔ Q ≡ ( P ^ Q ) v (~P ^ ~Q)
• P ^ F ≡ F;
• P ^ V ≡ P; 11. Dupla negação (DN): ~~P ≡ P
• P v F ≡ P;
• PvV≡V 12. Contraposição: P → Q ≡ ~Q → ~P
5. Tautologia
P v ~P ≡ T 13. Importação-Exportação (IE)
• p → (q → r)≡ p ^q → r
6.Contradição:
P ^ ~P ≡ F