Dada as expressões, dizer quais são fórmulas bem formadas do Cálculo Proposicional. (a) p ∨ (q ∧ r) (b) p ↔ 1 (c) (p → ¬q) → (q → ¬p) (d) q + 2...

Dada as expressões, dizer quais são fórmulas bem formadas do Cálculo Proposicional.
(a) p ∨ (q ∧ r)
(b) p ↔ 1
(c) (p → ¬q) → (q → ¬p)
(d) q + 2 → p
(e) (p ∧ q) → ¬r → q

Lógica I

•

Outros

0

1

Desafios para Aprender

29/03/2024

Essa pergunta também está no material:

3 pág.

Lista 1.2 - Cálculo Proposicional

Lógica I • Pontifícia Universidade Católica do ParanáPontifícia Universidade Católica do Paraná

Ailton Vieira Pinto Filho

💡 1 Resposta

Ed

29.03.2024

Vamos analisar cada expressão: (a) p ∨ (q ∧ r) - Esta é uma fórmula bem formada do Cálculo Proposicional, pois segue as regras de formação. (b) p ↔ 1 - Esta expressão não é uma fórmula bem formada do Cálculo Proposicional, pois o símbolo "↔" não é um operador válido neste contexto. (c) (p → ¬q) → (q → ¬p) - Esta é uma fórmula bem formada do Cálculo Proposicional, pois segue as regras de formação. (d) q + 2 → p - Esta expressão não é uma fórmula bem formada do Cálculo Proposicional, pois o símbolo "+" não é um operador válido neste contexto. Portanto, as fórmulas bem formadas do Cálculo Proposicional são (a) e (c).

0