O Teorema na Matemática definido como: “Se um número x é da forma 2p, então x é par”, pode ser reescrito com o mesmo valor lógico como:
Um número x é da forma 2p se, e somente se, x é par.
Se um número x não é da forma 2p, então x é não é par.
Se x não é par, então esse número é da forma 2p
Se x não é par, então esse número não é da forma 2p.
Se x é par, então esse número é da forma 2p