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
Se dois números inteiros são ímpares, então, a soma desses números é um número inteiro ímpar.
Se algum entre dois números é ímpar, então, a soma desses números é ímpar.
Se a soma de dois números inteiros é ímpar, então, algum desses números é ímpar.
Se a soma de dois números é ímpar, então, esses dois números são ímpares.
Se a soma de dois números é par, então, esses dois números são pares.