Uma proposição logicamente equivalente à afirmação “Se Marcos é engenheiro, então Roberta é enfermeira e Ana é psicóloga” é apresentada na alternativa:

Se Roberta não é enfermeira ou Ana não é psicóloga, então Marcos não é engenheiro.

Ana é psicóloga, Marcos é engenheiro e Roberta é enfermeira.

Se Marcos não é engenheiro, então Roberta não é enfermeira e Ana não é psicóloga.

Se Roberta é enfermeira e Ana é psicóloga, então Marcos é engenheiro.

Roberta não é enfermeira, Ana não é psicóloga e Marcos não é engenheiro.