

Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
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.
“Se x é homem, então todo x é mortal.”
"Para todo x, se x é homem, então x é mortal."
“Se todo homem é mortal, então todo x é homem.”
“Todo homem é mortal e todo mortal é homem.”
“Para todo x, se x é mortal, então x é homem.”