///
Suponha que os símbolos proposicionais P e Q representem proposições simples de valor lógico, respectivamente, verdadeiro e falso. Considere os conectivos da negação (~), conjunção (^), disjunção (v) e condicional (→) nas fórmulas (~P^Q), (P→~Q) e (~(PvQ) →~P). Assinale a alternativa que apresenta, na sequência correta, o valor lógico das fórmulas.