Uma sentença logicamente equivalente à sentença “Se Pedro é torcedor da Chapecoense, então ele nasceu em Chapecó” é:

Se Pedro não é torcedor da Chapecoense, então ele não nasceu em Chapecó;

Se Pedro nasceu em Chapecó, então ele é torcedor da Chapecoense;

Pedro é torcedor da Chapecoense e não nasceu em Chapecó;

Pedro não é torcedor da Chapecoense ou nasceu em Chapecó;

Pedro é torcedor da Chapecoense ou não nasceu em Chapecó.