Sabendo que p e q são proposições simples, julgue o item qua...

u = p ↔ [(q V ~q) → p].

(q V ~q) sempre será V.........F v V dá sempre V

p ↔ [VERDADEIRO → p]

1.1 Se p for falso:

falso ↔ [VERDADEIRO → falso]........V → F dá F (VERA FISHER)

falso ↔  falso

Logo, será VERDADE

1.2 Se p for verdadeiro

verdadeiro ↔ [VERDADEIRO → verdadeiro].........V → V dá V

verdadeiro ↔ VERDADEIRO

Logo, será VERDADE

Conclusão: "u" é tautologia

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

____________________________________________________________________________

v = p ↔ [(~q Ʌ q) V p].

(~q Ʌ q) sempre será FALSO............V Ʌ F dá sempre F

p ↔ [(FALSO V p)

2.1 Se p for falso

FALSO ↔ [(FALSO V FALSO)].............FALSO V FALSO dá F

FALSO ↔ FALSO

Logo, será VERDADE

2.2Se p for verdadeiro

VERDADEIRO ↔ [(FALSO V VERDADEIRO)]...............FALSO V VERDADEIRO dá V

VERDADEIRO ↔ VERDADEIRO

Logo, será VERDADE

Conclusão: "v" é tautologia

As proposições u e v são tautologias. 

GABARITO CERTO

TENHAM A TABELA-VERDADE DECORADA.

https://www.youtube.com/watch?v=EmIGLGUO7cY

Achei uma bagunça nas proposições. Os conjuntos U e V são os que estão nos colchetes?

U = P ↔ [(Q V ~Q) → P]

V V  F V  V  V  V

F V  V V  F  V  F

V = P ↔ [(~Q Ʌ Q) V P]

V  V  V  V F  V V

F  V  F  V V  F F

Tautologias são proposições lógicas, verdadeiras ou falsas, cuja conclusão é necessariamente verdadeira. Aqui, nas "tabelas" delineadas, percebemos que o resultado de ambas (negrito e sublinhado), são verdadeiras. Logo, são tautologias...

Sempre façam tabela, facilita muito! Façam tantas colunas quanto as proposições e conectivos.

Assertiva C

As proposições u e v são tautologias. 

 Caso a coluna da proposição analisada só tiver valores lógicos verdadeiros, trata-se de uma Tautologia.

Resumindo.

Tem "ou" basta 1 verdadeira .

a dica é considerar primeira entre parentes apenas como uma proposição, depois de resolvida relaciona com o outro conectivo