Question

(ESAF) – Independente dos valores lógicos atribuídos às proposições A e B, verifique os valores correspondentes para a proposição [(A --> B) v (~B)] -->(~A) em sua última coluna.

Answer 1

Os valores correspondentes estão incorretos.

Vamos aos dados/resoluções:  

Valor lógico acaba por ser a verdade e falsidade de uma proposição, ou seja, Proposição é uma frase declarativa (independente se for afirmativa ou negativa) logo, com sujeito e predicado, à qual se pode atribuir um dos valores lógicos como verdadeiro (v) ou como falso (f).

Ou seja, o Enunciado está perguntando se ao atribuir qualquer valor para A ou B, se a proposição sempre terá valor F. E dessa forma:  

[(A -> B) ^ (~B)] -> (~A)

[(V -> V) ^ (F)] -> (F)

[(V) ^ (F)] -> (F)

V ^ F -> F

F -> F = V.

Logo, a questão está errada porque a sentença possuí apenas valor lógico V.

Espero ter ajudado nos estudos e bebam água :)