Buscar

Regras de Inferência e Equivalência Lógica

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Prévia do material em texto

Link para baixar: http://docdro.id/afoom1l 
Regras de Inferência 
Adição AD 
Simplificação SIMP 1. 
2. 
Conjunção CONJ 1. 
2. 
Absorção ABS 
Modus Ponens MP 
Modus Tollens MT 
Silogismo 
Disjuntivo 
SD 1. 
2. 
Silogismo 
Hipotético 
SH 
Dilema 
Construtivo 
DC 
Dilema 
Destrutivo 
DD 
 
Equivalências Notáveis 
Idempotência ID 1. 
2. 
Comutação COM 1. 
2. 
Associação ASSOC 1. 
2. 
Distribuição DIST 1. 
2. 
Dupla Negação DN 
De Morgan DM 1. 
2. 
Condicional COND 
Bicondicional BICOND 1. 
2. 
3. 
Contraposição CP 
Exportação - 
Importação 
EI

Outros materiais