Julgue os próximos itens, considerando os conectivos lógicos...

RESPOSTA: CERTO

Gabarito CERTO, segue a tabela verdade:

P	Q	¬P	¬Q	(¬P)vQ	P^(¬Q)	[¬(P^(¬Q))]	[(¬P)vQ]<->{¬[P^(¬)]}
V	V	F	F	V	F	V	V
V	F	F	V	F	V	F	V
F	V	V	F	V	F	V	V
F	F	V	V	V	F	V	V

Certo. Não consegui "atalho" por equivalencia. Se alguem conseguiu me ensine por favor. Fiz a TV mesmo, nem deu tanto trabalho o qt eu imaginava, pois como há dois V (ou) facilitou e deu pra pular algumas etapas e fazer direto. Tipo de questão fácil mas trabalhosa, Cespe querendo cansar e fazer o peão perder tempo.

É tautologia...

p ~p q r| q^r | p->(q^v) | (~pvq) | ~pvr |  (~pvq) ^ ~pvr | p->(q^v) <-> (~pvq) ^ ~pvr

v  f v v     v         v              v         v                 v                           v

v  f v f       f         f              v          f                 f                            v 

v  f f v       f         f             f           v                f                            v

v  f f f         f         f             f           f                 f                            v

f  v v v       v         v             v          v                v                            v

f  v v f        f         v             v          v                v                            v

f  v f v        f         v             v          v                v                            v

f  v f f         f         v             v          v                v                            v

Primeiro resolvemos os sinais da parte final da proposição correspondente a "{¬[P ^ (¬Q)]}" que passará a ser ¬P v Q para na sequência, jogar na tabela verdade.

Pessoal , esta sim é uma tautologia , pois temos de montar a tabela e atribuir valores até chegar a bicondicional que terá todos os valores como resultado Verdadeiros , o que trata-se de uma tautologia.