Questão número 170946

Considerando que os símbolos lógicos ~, ^, v e → representam negação, conjunção, disjunção e implicação, respectivamente, a fórmula ((A → B) ^ A) → B é

• A. falsa no caso do valor-verdade de A ser falso.
• B. falsa no caso do valor-verdade de B ser falso.
• C. verdadeira apenas no caso do valor-verdade de A ser falso.
• D. verdadeira apenas no caso do valor-verdade de B ser falso.
• E. verdadeira independentemente dos valores-verdade de A e B.