Sabe-se que I. se Mauro não é baiano então Jair é cearens...
I. se Mauro não é baiano então Jair é cearense.
II. se Jair não é cearense então Angélica é pernambucana
III. Mauro não é baiano ou Angélica não é pernambucana.
É necessariamente verdade que