Ivo é cearense ou André é paulista; se Vítor é mineiro, então Ivo é cearense. Oc...

Questão de Matemática da banca COSEAC aplicada no concurso ANCINE (2008). Confira a resolução completa abaixo:

Ivo é cearense ou André é paulista; se Vítor é mineiro, então Ivo é cearense. Ocorre queAndré não é paulista. Logo: