- Lógica ProposicionalEquivalências Lógicas
- Lógica ProposicionalNegação de Proposições CompostasLeis de De Morgan
Considere a afirmação condicional: Se Alberto é médico ou Alberto é dentista, então Rosa é engenheira.
Seja R a afirmação: 'Alberto é médico'; Seja S a afirmação: 'Alberto é dentista' e Seja T a afirmação: 'Rosa é engenheira'.
A afirmação condicional será considerada necessariamente falsa quando
Seja R a afirmação: 'Alberto é médico'; Seja S a afirmação: 'Alberto é dentista' e Seja T a afirmação: 'Rosa é engenheira'.
A afirmação condicional será considerada necessariamente falsa quando