Imagem de fundo

As fórmulas bem formadas (FBF), na Lógica de Primeira...

As fórmulas bem formadas (FBF), na Lógica de Primeira Ordem, seguem regras sintáticas específicas. Assinale a alternativa que apresenta a única fórmula bem formada (FBF) na Lógica de Primeira Ordem.


A

“Se x é homem, então todo x é mortal.”


B

"Para todo x, se x é homem, então x é mortal."


C

“Se todo homem é mortal, então todo x é homem.”


D

“Todo homem é mortal e todo mortal é homem.”


E

“Para todo x, se x é mortal, então x é homem.”