Question

3)
Para evitar ambiguidades na lógica matemática existem regras para que as fórmulas da lógica sejam bem formadas.

A respeito de fórmulas bem formadas é correto afirmar que:

Alternativas:

a)((p↔r)→r)
A fórmula não é bem formada.

b)~(p∨q)∨ r→s
A fórmula não é bem formada.


c)
Ao escrevermos as fórmulas da lógica matemática, podemos suprimir os parênteses se isto não resultar em ambiguidade na fórmula.

d) r ∨~∧ q
A fórmula é bem formada.

e) r ∨ s ∧ t
A fórmula é bem formada pois os conectivos presentes nesta fórmula possuem prioridades distintas.

Answer 1

letra C acabei de fazer

Answer 2

Questão 01 - A

Questão 02 - A

Questão 03 - C

Questão 04 - B