UNIVERSIDADE FEDERAL DA PARAÍBA – UFPB

CENTRO DE INFORMÁTICA – CI

DEPARTAMENTO DE COMPUTAÇÃO CIENTÍFICA – DCC

LISTA 01 – Propriedades Semânticas, Conjunto Completo e Árvore Semântica

As operações lógicas gozam das seguintes propriedades que podem ser facilmente verificadas:

(Observação: V = verdade e F = falso)

1. Utilizando as propriedades operatórias, simplifique as seguintes operações:

 a. p ˅ (p ˄ q) ˄ ~ (p ˄ q)
b. (p ˄ ~ (q ˅ r) ˅ (p ˄ ~ (p ˄ ~ q)) ˅ (p ˄ ~ (p ˄ ~r))
c. ~ p → ~ (p ˄ q)

2. Construa a árvore semântica das fórmulas abaixo:

a. (p ˅ q) ˄ (~q ˅ ~p)
b. (p ↔ r) → (~p ˅ r) ˅ (~r ˅ p)
c. x > 10 → x2 = y ↔ x2 ≠ y ˄ x ≤ 10

3. Com base no que foi apresentado em sala sobre as operações de negação disjunta e conjunta:

I. Mostre que: ~ p  (p ↑ p) ˄ ~ p  (p ↓ p)
II. Mostre que: p ˅ q  (p ↑ p) ↑ (q ↑ q) ˄ (p ˅ q)  (p ↓ p) ↓ (q ↓ q)

4. Mostre que toda função interpretação pode ser expressa por uma expressão envolvendo apenas os
conectivos ˅, ˄, ~ (ou seja, mostre que o conjunto Ψ = {˅, ˄, ~} é um conjunto completo).

5. Verifique se os conjuntos abaixo são completos:

a. Ψ = {˅, ~}
b. Γ = {˄, ~}
c. Ω = {→, ~}
d. Ψ = {↑}
e. Γ = {↓}

6. Julgue se são logicamente equivalentes as proposições: “Quem tem dinheiro, não compra fiado”
e “ Quem não tem, compra”, provando sua resposta (método da árvore ou propriedades ou tabela).

7. Usar o método dedutivo para demonstrar:

8. Demonstre utilizando, se possível, os três métodos de dedução estudados (tabela verdade, árvore
semântica e redução ao absurdo) que as fórmulas abaixo são Tautologias: