Supondo verdadeiro que:

Nego que Mário ou João são engenheiros.

Se Mário não é engenheiro então Mário é agrônomo.Se João trabalha na construção civil então João é engenheiro.

Deduzimos que é verdadeiro: