MINISTRIO DA EDUCAO

UNIVERSIDADE FEDERAL DO PIAU

CENTRO DE EDUCAO ABERTA E A DISTNCIA
CURSO DE SISTEMAS DE INFORMAO
LGICA PARA COMPUTAO

2 LISTA DE EXERCCIOS

1. Dadas as expresses da Lgica Proposicional a seguir, encontre:

a) As expresses correspondentes na Lgica de Boole.
b) As expresses correspondentes na Teoria dos Conjuntos.
c) As representaes em diagramas de Venn.

(p q r) (p q r)
(p q r) (p q r)

2. Usando o Princpio de Induo Finita, mostre que as seguintes proposies so verdadeiras

para todo nmero inteiro positivo n:
a) 12 + 32 + . . . + (2n-1) 2 = n (2n 1) (2n + 1)/ 3
b) 2 + 6 + 10 + . . . + (4n 2) = 2n2
c) 4 + 10 + 16 + . . . + (6n 2) = n(3n + 1)

3. Justifique cada passo na sequncia de demonstrao a seguir, para a fbf (x)p(x)(x)(p(x)

q(x)) (x)q(x)
1 (x)p(x)
2 (x)(p(x) q(x))
3 p(a)
4 p(a) q(a)
5 q(a)
6 (x)q(x)

4. Prove que as fbfs a seguir so argumentos vlidos :

a) (x)p(x) (x)[p(x) q(x)]
b) (x)p(x) (x)q(x) (x)[p(x) q(x)]
c) (x)(y)p(x,y) (y)(x)p(x,y)
d) (x)(y)q(x,y) (y)(x)q(x,y)
e) (x)p(x) (x)[p(x) (x)q(x)].

Esta lista deve ser respondida antes do 2 encontro presencial para ser discutida e sanadas todas
as dvidas com o tutor distncia no encontro.