MINISTRIO DA EDUCAO

UNIVERSIDADE FEDERAL DO PIAU

CENTRO DE EDUCAO ABERTA E A DISTNCIA
CURSO DE LICENCIATURA EM COMPUTAO
LGICA PARA COMPUTAO

BALTAZAR BANDEIRA DE MEDEIROS

LISTA DE EXERCCIOS AVALIATIVA

DOMINGOS MOURO PI, JUNHO DE 2015

MINISTRIO DA EDUCAO
UNIVERSIDADE FEDERAL DO PIAU
CENTRO DE EDUCAO ABERTA E A DISTNCIA
CURSO DE LICENCIATURA EM COMPUTAO
LGICA PARA COMPUTAO
LISTA DE EXERCCIOS

1. Demonstrar a validade do argumento p q, q r, r V s, s p.

R: Se ento fv valido, se ento vf valido, ou vVv valido, se ento fv tambm

valido.
Portanto o argumento valido

2. Considere o seguinte argumento: Se as taxas de juros carem, o mercado

imobilirio vai melhorar. A taxa federal de descontos vai cair ou o mercado
imobilirio no vai melhorar. As taxas de juros vo cair. Por tanto, a taxa
federal de descontos vai cair. Verifique, usando prova direta, se este
argumento e, ou no, valido.

R: (as taxas de juros carem) (o mercado imobilirio vai melhorar), (as taxa de juros vo cair)
(( o mercado imobilirio vai melhorar), (as taxas de juros vo cair) (a taxa federal vai cair)
P: taxas de jurus
Q: mercado imobilirio
R: taxa federal
PQ valido, P vQ valido, P R valido
Portanto o argumento valido.
3. Considere o seguinte argumento: Meu cliente e canhoto, mas se o dirio no
tiver sumido, ento meu cliente no e canhoto. Portanto, o dirio sumiu.

Verifique, usando prova direta, se este argumento e, ou no, valido.

R: (Meu cliente)(canhoto),((dirio tiver sumido))((Meu cliente canhoto),
(o dirio subiu).
P: cliente
Q: canhoto
R: dirio sumiu
S: cliente canhoto
P Q valido, R S valido, R valido
Portanto o argumento valido.

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

a) As expresses correspondentes na Lgica de Boole.
R: ((p q) . r) + (p . (q + r) . (n +q).
b) As expresses correspondentes na Teoria dos Conjuntos.
R: (p vq r) v (p q r) (r + q).
c)As representaes em diagramas de Vem.
(p q ^ r) v (p ^q r)
(p ^ q r) ^ (p q v r)
R:
2n-1

2n+1

2 .1-1=1

2.1+1

2. 2 -1=3

2+1=3

2 . 3 -1=5

2.2+1=5

1+2+4+8 (2n-1)+(2n+1).

5. Determine o valor lgico de cada uma das fbfs a seguir com a interpretao de que o
conjunto universo e o conjunto dos inteiros, p(x) significa que x e
impar, q(x) que x < 0e g(x) que x > 9.
a)(X)p(x)
b)( x)[q(x) p(x)]
c)( x)[q(x) g(x)]
d)( x)[q(x) g(x)]