Considere a tabela abaixo em que as proposições P e Q podem assumir, dependendo o caso, o valor lógico V (verdadeiro) ou F (falso). Sendo assim, o resultado da linha (P v ~Q) → ~P, da esquerda para direita, respectivamente, é: