Dado um número inteiro qualquer, então, ou ele é par, ou é ímpar.

Diante dessa premissa, considere a seguinte sentença:

Se dois números inteiros são pares, então a soma desses números é um número inteiro par.

Essa sentença é logicamente equivalente à sentença