Gabarito C.
tautologia = valores lógicos sempre verdadeiros.
contradição = valores lógicos sempre falsos
contingência = quando a proposição não é nem tautologia nem contradição.
Primeiramente eu provei que a proposição não é uma tautologia, tentando provar que ela é falsa, se der certo então não será tautologia.
P→~PvQ
V --> F v F
V ---> F = FALSA
Veja que deu certo, consegui torná-la falsa, portanto não é tautologia. Eliminem as assertivas A, D e E.
Agora basta montar uma tabela verdade. Lembre-se que a fórmula de linhas da tabela verdade é 2^n, onde n será o número de proposições. No caso temos duas proposições, P e Q, então a tabela terá 2^2 = 4 linhas.
P | Q | ~P | P→~PvQ
V | V | F | V --> F v V = V
V | F | F | V --> F v F = F
F | V | V | F --> V v V = V
F | F | V | F--> V v F = V
Não seria tautologia pois os valores lógicos não são todos verdadeiros, não é contradição pois os valores não são todos falsos. Portanto, trata-se de contingência.
Gabarito C
P→~PvQ
V→~V v V..............V→F v V.............F v V.........VERDADEIRA
V→~V v F...............V→F v V............F v F..........FALSA
F→~F v V...............F→V v V...........V v V.........VERDADEIRA
F→~F v F...............F→V v F............V v F.........VERDADEIRA
tautologia = todos valores verdadeiros
contradição = todos valores falsos
contigência = valores verdadeiros e falsos / nem tautologia nem contradição