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 é
Navegue em mais questões
{TITLE}
{CONTENT}