Resolução

Proposição: p → (p ∨ q), onde p: "chove", q: "faz sol"

Prova por Absurdo: suponha que a fórmula seja uma tautologia, portanto devemos tentar aplicar o valor lógico falso à proposição composta

Uma condicional é falsa apenas quando o antecedente é V e o consequente é F:

• p = V
• (p ∨ q) = F

Mas (p ∨ q) = F só ocorre quando p = F e q = F.

Abusurdo encontrado: temos simultaneamente p = V (hipótese) e p = F (decorrente do consequente falso).

Como a suposição leva a uma conclusão absurda, ela é insustentável. Logo, p → (p ∨ q) é sempre verdadeira, ou seja, é uma tautologia.

Gabarito: letra A