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:
Soluções para a tarefa
Respondido por
5
Resposta:
Apenas as alternativas I, III e IV estão corretas.
Explicação:
Corrigido pelo AVA.
Respondido por
0
Resposta:
Apenas as alternativas I, III e IV estão corretas.
Explicação:
corrigido pelo AVA
Perguntas interessantes
Geografia,
6 meses atrás
Matemática,
6 meses atrás
Ed. Moral,
6 meses atrás
Administração,
8 meses atrás
ENEM,
8 meses atrás
Geografia,
11 meses atrás