Se Marco é técnico judiciário, então Rogério é médico. Se Marcelo é programador, então Hamilton é professor. Marco é técnico judiciário ou Hamilton é professor. Logo, Rogério é médico ou Marcelo é programador.

Não se tem que Marco é técnico judiciário e Rogerio é médico. Se Marco não é técnico judiciário e Rogerio não é médico, então Marcelo é programador e Hamilton é professor. Se Hamilton é professor, então Marcelo é programador. Logo, Marcelo é programador.

Marco é técnico judiciário se, e somente se, Rogério é Médico ou Marcelo é programador. Rogério é médico se, e somente se, Marco é técnico judiciário ou Marcelo é programador. Marcelo é programador se, e somente se, Marco é técnico judiciário ou Rogerio é médico. Marco não é técnico judiciário. Logo, Rogério é médico ou Marcelo é programador.

Se Marco é técnico judiciário, então Rogério é médico e Marcelo é programador. Hamilton é professor se, e somente se, Marcelo é programador. Marco não é técnico judiciário ou Rogério é médico. Logo, Marco não é técnico judiciário e Rogério não é médico.

Se Marco é técnico judiciário, então Marcelo é programador. Se Rogério não é médico, então Hamilton não é professor. Marco é técnico judiciário ou Rogerio não é médico. Logo, Marcelo é programador e Hamilton não é professor.