D EPARTAMENTO DE C IÊNCIAS E XATAS ,

B IOLÓGICAS E DA T ERRA
I NSTITUTO DO N OROESTE F LUMINENSE DE E DUCAÇÃO S UPERIOR

3ª Lista-Sintaxe da Lógica Proposicional

Introdução ao Estudo da Lógica Matemática

PEB 00001
Professor: Miguel Zamora

1. Quais das seguintes palavras são proposições:

(a) (()). (b) (p 1 p 2 ). (c) (p 3 ∧ p 4 ). (d) >p 3 . (e) ¬p 1 .

2. A função símbolo S : P ROP → Símbolos proposionales, é definida como:

(a) S(>) = S(⊥) = ;. (c) S((¬ϕ)) = S(ϕ).

(b) S(p) = {p}. (d) S((ϕψ)) = S(ϕ) ∪ S(ψ), onde  ∈ {∧, ∨, →, ↔}.

Seja ϕ = (((p 1 → p 2 ) ∧ (¬p 3 )) ∨ p 1 )). Determine S(ϕ).

3. Mostre que ((→6∈ P ROP .

4. Dê seqüências de formação de:

(a) (((¬p 2 ) → (p 3 ∨ (p 1 ↔ p 2 ))) ∧ (¬p 3 )). (c) ((((p 1 → p 2 ) → p 1 ) → p 2 ) → p 1 ).

(b) ((p 7 → ⊥) ↔ ((p 4 ∧ (¬p 2 )) → p 1 )).

5. Seja r a função posto.

(a) Prove que r (ϕ) é menor ou igual que o número de ocorrências de conectivos de ϕ.
(b) Dê exemplos de fórmulas ϕ onde se tenha < ou =.
(c) Determine o posto das proposições do exercício anterior.

6. Toda proposição tem um número par de paréntesis.

7. Toda proposição tem uma seqüência de formação

8. Para cada uma das fórmulas,

¬q ∧ q ∨ p → r p → q → ¬r ∨ s ∨ p.

(a) Construir a árvore do análise.

(b) Escreve a fórmula com paréntesis.
(c) Determine todas as subformulas.

9. Determine as fórmulas das seguintes árvores:

10. Sejam b, T e r as funções número de parênteses, árvore e posto definidas em aula. Se ϕ = ((p → q) ∧ r ), ψ =
((p ∨ q) ↔ r ). Determine (a) b(ϕ) − r (ψ) + 2r (ϕ). (b) T (ϕ) e T (ψ).