Dizer que “não é verdade que se João é paulista, então ele é brasileiro”, do ponto de vista lógico equivale a dizer que: