- Lógica ProposicionalEquivalências Lógicas
- Lógica ProposicionalNegação de Proposições CompostasLeis de De Morgan
Se Pedro ou Renato é médico
então Pedro tem sala no centro comercial. Sabe-se que Pedro não tem sala no centro comercial.
Portanto, deduzimos que:
