Se Carlos é executivo público, então Cláudio é eletricista e André médico. Se Márcia é enfermeira ou Carolina é nutricionista, então André não é médico. Constata-se que Márcia é enfermeira ou que Ana é advogada. Sabe-se, ainda, que Carlos é executivo público. Logo, é verdade que