Se a afirmação “Se Marcos é médico, então Rute é professora...
Se Marcos é médico, então Rute é professora” é verdadeira,
- Pode ser:
- V -> V Aqui é verdadeira, mas abaixo também dará verdade. E como é falsa, não pode ser.
- F -> F
- F -> V
E a afirmação de “Marcos é médico e Rute é professora” é falsa
- Pode ser:
- V ^ F Aqui é falsa, mas acima também dará falso. Então não é essa.
- F ^ V
- F ^ F
É necessariamente verdade que:
- Marcos não é médico, pois é o único que temos certeza.