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