Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — IBFC 2024
Raciocínio LógicoEquivalência Lógica e Negação de Proposições
- Código
- qg221669
- Banca
- IBFC
- Órgão
- Prefeitura de Fortaleza - CE
- Ano
- 2024
- Nível
- Superior
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.”