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:

Answer 1

Resposta:

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

Explicação:

Corrigido pelo AVA.

Answer 2

Resposta:

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

Explicação:

corrigido pelo AVA