Universidade Federal de Roraima

Centro de Ciência e Tecnologia

Departamento de Ciência da Computação

__________________________________________________________________________________________

1a. Lista de Exercícios de Lógica Proposicional de 2021.2

1. Considere as concatenações de símbolos do alfabeto de Lògica Proposicional dadas

a seguir. Identifique aquelas que são fórmulas da Lógica Proposicional. Considere a
forma simplificada de representação de fórmulas, em que símbolos de pontuação
podem ficar omitidos.

a. (𝑃𝑄 ∨ 𝑃10. 0000)

b. (𝑃 ∧ 𝑄) → (( 𝑄 ↔ 𝑃) ∨ ¬¬𝑅)
c. ¬¬𝑃

2. Responda as questões a seguir justificando suas respostas.

a. Existem fórmulas sem símbolos de pontuação?

b. Quantos tipos de símbolos possui o alfabeto da Lógica Proposicional? Quais
são esses símbolos?
c. Existe fórmula da Lógica Proposicional com conectivo, mas sem símbolo de
pontuação?

3. Determine o comprimento e as subformulas das fórmulas a seguir.

a. 𝑃 → ((𝑄 → 𝑅) → ((𝑃 → 𝑅) → (𝑃 → 𝑅)))

b. ((𝑃 → ¬ 𝑃) ↔ ¬𝑃) ∨ 𝑄

4. Elimine o maior número possível de símbolos de pontuação das fórmulas a seguir,

mantendo a representação da fórmula original.
a. ((¬(¬𝑃)) ↔ ((¬((¬(¬(𝑃 𝑄))) → 𝑅)) ∧ 𝑃))
b. (¬𝑃 → (𝑄 ∨ 𝑅)) ↔ ((𝑃 ∧ 𝑄) ↔ (¬¬𝑅 ∨ ¬𝑃))
c. ((𝑃 ∨ 𝑄) → (𝑃 → (¬𝑄)))

5. Considere as concentrações dos símbolos a seguir. A partir da introdução de

símbolos de pontuação, identifique quais fórmulas da lógica proposicional é possível
obter.
a. 𝑃 ∨ ¬𝑄 → 𝑅 ↔ ¬ 𝑅
b. 𝑄 → ¬𝑃 ∧ 𝑄
c. ¬𝑃 ∨ 𝑄 ↔ 𝑄
d. ¬¬𝑃 → 𝑄 ↔ 𝑃 ∧ 𝑃 ¬¬𝑅

6. Escreva as fórmulas dos exercícios 3 e 4 usando notação polonesa.

7. Responda justificando sua resposta.
a. É possível encontrar uma fórmula H da lógica proposicional, escrita na
notação convencional e que corresponde a duas diferentes formulações na
notação polonesa?
b. É possível encontrar uma fórmula H escrita na notação polonesa, que
corresponda a duas fórmulas diferentes da Lógica Proposicional escritas em
notação convencional?

8. Faça os exercícios 5 considerando a notação pós-fixa, indicada pelas

correspondências.
a. (¬P) corresponde a P¬
b. (𝑃 ∧ 𝑄) corresponde a 𝑃𝑄 ∧
c. (𝑃 ∨ 𝑄) corresponde a 𝑃𝑄 ∨
d. (𝑃 → 𝑄) corresponde a 𝑃𝑄 →
e. (𝑃𝑄 ↔) corresponde a 𝑃𝑄 ↔