Considere verdadeira a proposição P: (A → ¬B) ˄ B. A conclu...

A questão diz: Considere verdadeira a proposição P: (A → ¬B) ˄ B.

Percebam que o conectivo principal que liga as proposições é a conjunção ^ (e), então para a conjunção ser verdadeira ambos os lados tem que ser verdadeiros.

logo: (A → ¬B) = verdade

       B = verdade

Se B é verdade, então ¬B é falso, assim podemos resolver a proposição entre parenteses.

Considerando que no conectivo → (se, então) V→F é falso, e ja sabendo que o segundo lado (¬B) é falso, então A (primeiro lado) será obrigatoriamente falso, para que a proposição entre parênteses seja verdadeira.

então temos:

A = falso

(¬B) = falso

 B = verdade

Com isso ja podemos descartas as opções "a" e "d".

A opção C seria verdade caso as duas proposições fossem verdade (pela regra da conjunção), porem sabemos que A=FALSO.

Resposta certa: B - ¬A, pois se A é falso então ¬A é verdade.

LETRA B

volta negando!

obrigado pela explicação Dilhermane.

Considere verdadeira a proposição P: (A → ¬B) ˄ B.

Para que a conjunção ^ seja verdadeira precisa V na primeira e V na segunda.

Logo B necessariamente é VERDADEIRA

(A → ¬B) terá que ser VERDADEIRA.

SE B é VERDADEIRA então ¬B é FALSA.

Para a condicional ser verdadeira A tem que ser também falsa.

Ou seja ¬A.

GAB B