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