A proposição composta “Se 22 é par, então 11 é ímpar” é logicamente equivalente a:
22 não é par e 11 é par.
Se 11 não é ímpar, então 22 não é par.
11 é ímpar e 22 é par.
22 é par ou 11 é ímpar.
Se 22 não é par, então 11 não é ímpar.
