Fundamentos de Teoria da Computação

Lista 1 - Lógica proposicional

1. Use as leis de De Morgan para encontrar a negação de cada uma das
proposições abaixo:

a) Maria é rica e feliz.

b) Greg andará de bicicleta ou correrá amanhã.
c) Mel anda ou pega ônibus para ir à escola.
d) Ivan é esperto e trabalha muito.

2. Use uma série de equivalências lógicas para verificar a veracidade das

sequintes equivalências:

a) ¬(p ∧ ¬q) ∨ q ≡ ¬p ∨ q
b) p ∧ ¬(p ∧ ¬q) ≡ p ∧ q
c) (p → q) ∨ (p → r) ≡ p → (q ∨ r)
d) ¬p → (q → r) ≡ q → (p ∨ r)

3. Mostre que (p → q) → r e p → (q → r) não são equivalentes.

4. Mostre que as seguintes equivalências lógicas são válidas:

a) ¬(p ↔ q) ≡ p ↔ ¬q
b) (p → r) ∧ (q → r) ≡ (p ∨ q) → r

5. Escreva na Forma Normal Conjuntiva:

a) (p ∨ q) → (p ∧ q)
b) (p ↔ q) ⊕ (¬p ↔ ¬r)

6. Escreva na Forma Normal Disjuntiva:

a) (p → q) → (q → p)
b) (p → q) ∧ (¬p → r)

7. Considere P (x) como a proposição “x passa mais do que cinco horas

em aula todos os dias”, em que o domínio de x são todos os estudantes.
Expresse cada uma dessas quantificações em português.

a) ∃xP (x)
b) ∀xP (x)
c) ∃x¬P (x)
d) ∀x¬P (x)
8. Transcreva estas proposições para o português, em que C(x) é “x é um
comediante” e F (x) é “x é divertido” e o domínio são todas as pessoas.

a) ∀x(C(x) → F (x))
b) ∀x(C(x) ∧ F (x))
c) ∃x(C(x) → F (x))
d) ∃x(C(x) ∧ F (x))

9. Determine o valor-verdade de cada uma destas proposições, se o domí-

nio forem todos os números inteiros.

a) ∀n(n + 1 > n)
b) ∃n(2n = 3n)
c) ∃n(n = −n)
d) ∀n(n2 > n)
e) ∀n∃m(n2 < m)
f) ∃n∀m(n < m2 )
g) ∃n∃m(n2 + m2 = 6)