Para responder à questão, considere a lista de Símbolos lóg...

Questão exige do candidato o conhecimento sobre a ordem hierarquica dos conectivos lógicos, pois não fornece a fórmula com os parenteses, logo o candidato teria que saber qual resolver primeiro

Se resolve assim:

(P∧¬Q) →¬P

Então resolvendo primeiro os parênteses( como nas expressões matemáticas) temos:

p      ~q          p^~q           -> ~p

v       v              f                   v

v       f               v                    f

f       v              f                     v

f       f              f                      v

gab. B

Obs.:  ->   = só é falso no v-f

Vera Ficher é falsa. O resto é verdade.

para (^) equivale a [ e ], so é verdadeiro quando existe 2 verdadeiros.

para ¬, basta inverter de falso para verdadeiro ou o contrário.

para (->) equivale a [se, então], so é falso caso fique V + F. (didadicamente aconselho a colocar o "¬p" a frente de "P^¬Q"), mas estruturalmente esse é o correto. Segue:

P          ¬P          Q         ¬Q           P^¬Q                   P^¬Q -> ¬P   

V            F          V            F               F                              V         

V            F          F            V               V                              F         

F            V          V            F               F                              V          

F            V          F            V               F                              V          

Gabarito: Letra B

Quanto a hierarquia dos parênteses nos conectivos, as convenções são as seguintes:

i) O símbolo de negação (~ ou ¬) abrange o menor enunciado possível.

ii) Os símbolos --> e <--> têm preferência sobre ^ e v.

Portanto, a proposição fica assim: (P ^~Q) --> ~P