Considere como verdadeiras as sentenças:
I. Pedro é baiano ou Maria é carioca.
II. Se Maria é carioca, então Sérgio é paulista.
III. Sérgio não é paulista.
É verdade concluir que
Pedro é baiano.
Pedro não é baiano.
Maria é carioca.
Se Maria não é carioca, então Pedro não é baiano.
Se Pedro é baiano, então Sérgio é paulista.