Ex. 1.12 - Determine:
A contrapositiva de pimplica não q

Passo 1

O enunciado dá a proposição p to lnot q e pede sua contrapositiva. Em lógica proposicional, a contrapositiva de Ato B é a proposição lnot Bto lnot A.

Passo 2

Aqui temos A = p e B = lnot q. Logo, a contrapositiva de p to lnot q é:
lnot(lnot q)to lnot p

Passo 3

Simplificando a dupla negação, lnot(lnot q) é q, logo a contrapositiva fica:
qto lnot p

Resposta

qto lnot p