Question

Para todo inteiro x, se 4 | x, então x é par

Answer 1

Resposta:

Para provar uma implicação “se p, então q”, é suficiente fazer o seguinte:

1) Supor que o antecedente p é verdadeiro;

2) Provar que o consequente q é verdadeiro, usando p como premissa (hipótese).

Ex.: Proposição:

P(p, q) = Se n é um número natural par, então n² é um número natural par.

Definição: seja n∈ℕ . Dizemos que n é par se existe um número natural k tal que

n = 2k.

Explicação: