- Lógica ProposicionalEquivalências Lógicas
- Lógica ProposicionalNegação de Proposições CompostasLeis de De Morgan
- Lógica ProposicionalProposições
Considere a seguinte afirmação: “O guindaste está
operando ou o navio não atracou”.
Do ponto de vista da lógica formal, essa afirmação
é falsa se, e somente se,
