Considere as afirmações: I. Pedro não é magro e Antônio é ...
I. Pedro não é magro e Antônio é brasileiro. II. João é alto ou Maria é magra se, e somente se, Antônio é brasileiro. III. Se João é alto ou Maria é maior de idade, então Pedro é magro.
Nestas condições, podemos deduzir logicamente que