Como se chama uma proposição composta que é verdadeira para todas as atribuições de valor lógico às suas variáveis?

Resposta

A proposição p ∨ ¬p é uma tautologia.

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

Por exemplo, se \(p = V\) então \(p \lor \neg p = V\). Se \(p = F\) então \(p \lor \neg p = V\).