A tabela-verdade da fórmula ¬(P∨Q) → Q :
Só é falsa quando P e Q são falsos.
É uma tautologia.
É uma contradição.
Só é falsa quando P e Q são verdadeiros.
Só é falsa quando P é verdadeiro e Q é falso.
