A proposição lógica a seguir é classificada como: \(p \lor \neg p\)

Gabarito

B

Comentário do professor

A proposição \(p \lor \neg p\) é uma tautologia.

Uma tautologia é uma proposição composta cuja tabela-verdade resulta em verdadeiro para todas as atribuições de valor lógico às suas variáveis.

A expressão dada é uma disjunção entre \(p\) e sua negação \( \neg p\). No conectivo "ou" (disjunção), o resultado só é falso se ambas as partes forem falsas.

Analise os casos: se \(p\) é verdadeiro, então \(\neg p\) é falso e \(p \lor \neg p\) é verdadeiro. Se \(p\) é falso, então \(\neg p\) é verdadeiro e \(p \lor \neg p\) é verdadeiro.

Como em todas as possibilidades o resultado é verdadeiro, a proposição é, de fato, uma tautologia.