Question

a lógica matemática pode ser descrita como uma linguagem simbólica e uma maneira de transformar lógica em álgebra, caracterizando-se por ter linguagem artificial, simbólica, para representar o pensamento. neste sentido, utilize os quantificadores e traduza para a linguagem simbólica: todo homem inteligente é trabalhor.

Answer 1

e) ∀x((Hx ∧ Ix) -> Tx, está é a resposta correta.