Questão
2014
COPEVE (UFAL)
Prefeitura Municipal de Igaci (AL)
Procurador municipal
Considerando-que27f04ee186
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.