Dado um número inteiro qualquer, então, ou ele é par, ou é ...
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