Question

Nem toda fórmula é válida, certas regras de sintaxe precisam ser seguidas, assim como acontece em qualquer linguagem de programação. Podemos fazer uma analogia entre as fórmulas do cálculo proposicional com as fórmulas matemáticas. Os conectivos lógicos são como os operadores matemáticos (soma, subtração, etc), portanto, sempre teremos um conectivo entre duas proposições. O operador de negação é como o sinal negativo na matemática e, por isso, ele pode aparecer perto de outro conector. Uma fórmula que segue as regras de sintaxe é chamada de fórmula bem-formulada ou fbf.
BISPO, F.; CASTANHEIRA, L. B. Introdução à lógica matemática. São Paulo: Cengage Learning, 2011.
Considerando o contexto, avalie as afirmativas a seguir:

I. A expressão matemática (2 + 3) * 5 em formato fbf ficaria ( A → B) ∨ C.

II. A expressão matemática 7 * (1 - 9) em formato fbf ficaria A ∨ B → C.

III. A expressão matemática (3 + 4) * (2 + 3) em formato fbf ficaria ( A → B) ∧ ( B → A).

IV. A expressão matemática 7 * 7 + -7 em formato fbf ficaria A ∧ A → ¬A.

Agora, assinale a alternativa que apresenta a correta:

Escolha uma:
a.Apenas as afirmativas I e IV estão corretas.

b.Apenas as afirmativas I e III estão corretas.

c.Apenas as afirmativas II, III e IV estão corretas.

d.Apenas as afirmativas II e III estão corretas.

e.Apenas as afirmativas I, III e IV estão corretas.

Answer 1

Resposta:

Apenas as afirmativas I, III e IV estão corretas. Correto

Explicação:

Apenas as afirmativas I, III e IV estão corretas. Correto[

corrigido pelo ava

Answer 2

Resposta:

e. Apenas as afirmativas I, III e IV estão corretas.

Explicação:

Confirmado pelo AVA