Questãozinha legal!

Pede que seja uma contradição, todas os casos os resultados sendo falso.

Dica: Iniciar pela alternativa "D", para ganhar tempo. Qual a proposição que apresenta maior quantidade de FALSOS na tabela-verdade? A Conjunção (^)

Testando a alternativa D

1°caso: p=V, resultando em V ^ (V->F). Condicional Vera Fischer Falso => V->F = F

V ^F = F

2°caso: p=F, aí já temos F ^ (?), não importa o resultado da condicional

F ^ ? = F. Portanto a alternativa D é a resposta correta e não precisa perder tempo testando as demais alternativas.

Naquele modelo kkk -_-

a)

P v ~P

V + F = V

V + F = V

F + V = V

F + V = V

(tautologia)

============

b)

(P -> Q) <-> (~P v Q)

V + V = V | F + V = V -> V

V + F = F | F + F = F -> V

F + V = V | V + V = V -> V

F + F = V | V + F = V -> V

(tautologia)

============

c)

(P ^ Q) -> P

V + V = V + V = V

V + F = F + V = V

F + V = F + F = V

F + F = F + F = V

(tautologia)

============

d)

P ^ (P -> ~P)

V + (V + F) = F -> F

V + (V + F) = F -> F

F + (F + V) = V -> F

F + (F + V) = V -> F