Considere a proposição composta: P = (p ^ q) -> (p v q). Ao construir a tabela-verdade para essa proposição, verifica-se que o resultado da última coluna apresenta apenas valores lógicos Verdadeiros.
Nesse caso, a proposição P é uma: