Questões Militares Comentadas sobre implicação lógica em raciocínio lógico

As afirmações a seguir são verdadeiras.
I. Carlos é dentista ou é fisiologista. II. Carlos não é fisiologista ou é psicólogo. III. Carlos é dentista ou é psicólogo. IV. Carlos não é psicólogo.
A partir dessas afirmações, é verdade que Carlos é