- Lógica ProposicionalEquivalências Lógicas
- Lógica ProposicionalProposições
- Lógica ProposicionalTabelas-verdade
Considere as seguintes afirmativas:
• Se B é um licor, então sua cor não é âmbar.
• Se B não é um licor, então é um vinho.
Pode-se concluir logicamente que:
• Se B é um licor, então sua cor não é âmbar.
• Se B não é um licor, então é um vinho.
Pode-se concluir logicamente que:
