Considere as seguintes proposições, todas com valor lógico verdadeiro:
I. Se Maria não é bonita, então João é louco; II. Se Ana é baiana, então Rex é pastor; III. Se Ana não é baiana, então Maria é bonita; IV. Se Rex é pastor, então João não é louco.
Com base no raciocínio lógico dedutivo, pode-se garantir que: