Chamemos o conjunto dos alunos do curso de matemática de A, e o conjunto das pessoas que sabem derivar ou integrar de (D v I).
- Da primeira premissa, concluímos que A ⊂ (D v I).
- Marcos é um elemento do conjunto A ( Marcos ∈ A) ⇒ Marcos ∈ (D v I)
- Sérgio ∈ (D v I), o que não implica necessariamente em Sérgio ∈ A. Sabemos que A ⊂ (D v I), mas que (D v I) pode ter mais elementos que A.
- Luiz ∉ (D v I) ⇒ Luiz ∉ A , relação associativa, visto que A ⊂ (D v I).
Portanto podemos afirmar com certeza que:
- Marcos é aluno do curso de matemática ;
- Marcos sabe derivar ou integrar;
- Sérgio sabe derivar e integrar;
- Luiz não sabe derivar nem integrar ;
- Luiz não é aluno do curso de matemática.
Analisando as assertivas, temos que a única que traz uma proposição NECESSÁRIAMENTE verdadeira é a ALTERNATIVA C, pois:
Luiz não é aluno do curso de matemática (Verdadeira) ou Marcos sabe derivar ( Não sabemos o valor lógico)
A respeito da segunda proposição ( Marcos sabe derivar), esta pode ser tanto verdadeira quanto falsa para a proposição Marcos sabe derivar ou integrar ser verdadeira.