Question

Sejam a,b ∈ N, ab par é se somente se a é par ou b é par. Ao provar que a seguinte equivalência: p ⇔ q (p ⇒ q) ∧ (q ⇒ p) ⇒) Se ab é par então a é par ou b é par. Temos:
I) a é ímpar e b é ímpar ⇒ a=2k+1 e b=2j+1, j,k ∈ N.
II) a=2k+1 e b=2j+1 ⇒ ab= (2k+1) (2j+1) = 4kj + 2k + 2j + 1 = 2(2kj+k+j)+1
III) ab= 2(2kj+k+j)+1 ⇒ ab é ímpar

O método dedutivo usado foi:

a. contrapositivo
b. contradição
c. silogismo
d. conjunção
e. modus tollen

Answer 1

contrapositivo é o correto letraA