Considerando P e Q proposições simples, a tabela verdade da fórmula P-> ~PvQ é:
Tautologia.
Contradição.
Contingência.
Tautologia e Equivalência lógica.
Tautologia e Implicação lógica.
