Considere as seguintes proposições: I. Todo morador de Cordisburgo já ouviu falar em Guimarães Rosa. II. Quem já leu alguma obra de Guimarães Rosa já ouviu falar em “Grande Sertão:

se Pedro não mora em Cordisburgo, então ele nunca ouviu falar em Guimarães Rosa.

se Pedro nunca leu “Grande Sertão: Veredas”, então ele não é morador de Cordisburgo.

se Pedro nunca leu uma obra de Guimarães Rosa, então ele nunca ouviu falar em “Grande Sertão: Veredas”.

se Pedro nunca ouviu falar em “Grande Sertão: Veredas”, então ele nunca leu uma obra de Guimarães Rosa.