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

4ª Lista-Semântica da Lógica Proposicional

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

PEB 00001
Professor: Miguel Zamora

1. Seja ρ uma atribuição de valores verdade(a.v.v.) com ρ(p) = ρ(r ) = 0, ρ(q) = ρ(s) = 1. Determine

(a) Vρ (p),Vρ (q). (e) Vρ (q ∨ r ).

(b) Vρ (r ),Vρ (s). (f) Vρ (s → r ).
(c) Vρ (p ∧ r ). (g) Vρ (p ←→ q).
(d) Vρ (p ∧ q). (h) Vρ (p ∧ >).

2. Sabendo-se que ρ(p) = ρ(q) = 1, ρ(r ) = ρ(s) = 0. Determine o valor verdade de:

(a) p ∧ q ∨ r → p → r ∨ q. (c) ¬p ∨ ¬(r ∧ s).

(b) q → r −→ ¬q ∨ r . (d) ¬(q ←→ ¬p ∧ s)

3. Fazer a tabela verdade de:

(a) α = (p → q) ←→ (¬p ∨ q) (d) γ = (p → q) −→ (p → ¬q).

(b) φ = p → (q → r ∨ q).
(c) β = (p ∨ q ∧ r ) ←→ (p ∨ q) ∧ (p ∨ r ). (e) ψ = p → (q ∧ ¬(r → p))

4. (a) Diga quais são os modelos das fórmulas ψ e β do exercício anterior.

(b) Diga quais fórmulas do exemplo anterior são satisfatíveis.

5. Probar que as seguintes fórmulas são tautologias.

(a) p → p (Lei de Identidade) (e) ¬p → (p → q) (Lei de Duns Scoto)

(b) p ∨ ¬p (Lei de Tercio exclusivo) (f ) ((p → q) → p) → p(Lei de Peirce)
(c) ¬(p ∧ ¬p) (Princípio de não contradição) (g) (p → q) ∧ p → q(Modus Ponens)
(d) (¬p → p) → p (Lei de Clavius) (h) (p → q) ∧ ¬p → ¬q(Modus Tollens)

6. Determine quais das seguintes fórmulas são tautologias, contingentes ou contradições:

(a) ϕ = p → (q → r ∧ q).
(b) ϕ = (p ↔ q) ∧ (p → ¬q) ∧ p
(c) ϕ = q → (p ∧ ¬p) → r
(d) ϕ = (p ∧ r ) ∨ (¬p ∧ q) → ¬q.
(e) (¬ϕ ∨ ψ) ↔ (ψ → ϕ)
(f) ⊥ ↔ (ϕ ∧ ¬ϕ).
(g) ⊥ → ϕ. O princípio de explosão (em latim: ex falso quodlibet ou ex contradictione sequitur quodlibet, "a
partir de uma contradição, qualquer coisa segue") é uma lei da lógica clássica e de alguns outros sistemas
como a lógica intuicionista que, de acordo com ela, "qualquer coisa pode surgir de uma contradição", isto
é, uma vez que uma contradição foi afirmada, qualquer proposição (ou a sua inversa) pode ser inferida
dela.