Lógica Matemática

IESP - SISTEMAS DE INFORMAÇÃO

Aluno: Lindenberg de Souza Palmeira
Matrícula: 20142022003
Disciplina: Lógica
Professor: Martinho

T E D

Páginas: 39, 40, 41 e 42

1. Construir as tabelas-verdade das seguintes proposições:

e) (p  q)  p  q

p q p  q p  q
(p  q)  p  q
1
V
V
V
V
V
2
V
F
F
F
V
3
F
V
V
F
F
4
F
F
V
F
F

h) (p   q)   p  q

p q  p
 q
(p   q)
 p   q
(p   q)   p  q
1
V
V
F
F
F
F
V
2
V
F
F
V
V
F
F
3
F
V
V
F
V
V
V
4
F
F
V
V
F
F
V

3. Determinar P(VV, VF, FV, FF) em cada um dos seguintes casos:

e) P(p,q) =  ((p  q)  ( q   q))

p q  p
 q
(p  q)
( p   q)
(p  q)  ( q   q)
 ((p  q)  ( q   q))
1
V
V
F
F
V
F
F
V
2
V
F
F
V
V
V
V
F
3
F
V
V
F
V
V
V
F
4
F
F
V
V
F
V
F
V

g) P(p,q) = (p  q)   p  (q  p)

p q  p
(p  q)
(q  p)
(p  q)   p
(p  q)   p  (q  p)
1
V
V
F
V
V
F
V
2
V
F
F
V
V
F
V
3
F
V
V
V
F
V
F
4
F
F
V
F
V
F
V

5. Determinar P(VFV) em cada um dos seguintes casos:

c)  (p  q)   (p   r)

p q r
 r
(p  q)
(p   r)
 (p  q)
 (p   r)
 (p  q)   (p   r)
1
V
V
V
F
V
V
V
V
F
2
V
V
F
V
V
V
V
V
F
3
V
F
V
F
F
V
V
F
F
4
V
F
F
V
F
V
V
F
F
5
F
V
V
F
F
F
V
F
F
6
F
V
F
V
F
V
V
F
F
7
F
F
V
F
F
F
V
F
F
8
F
F
F
V
F
V
V
F
F

f) (p  (p   r))  ( p  r   q) A B

p q r
 p
 q
 r
(p   r)
( p  r)
(p  (p   r))
( p  r   q)
A  B
1
V
V
V
F
F
F
V
V
V
V
V
2
V
V
F
F
F
V
V
F
V
V
V
3
V
F
V
F
V
F
F
V
V
V
V
4
V
F
F
F
V
V
V
F
V
V
V
5
F
V
V
V
F
F
V
V
V
V
V
6
F
V
F
V
F
V
V
V
V
V
V
7
F
F
V
V
V
F
V
V
V
V
V
8
F
F
F
V
V
V
V
V
V
V
V

7. Sejam as