Logica matematica

Universidade Católica de Brasíli Virtual – UCB Virtual
Cruso: Análise e Desenvolvimento de Sistemas

Lista 2

Matéria: Lógica Matemática
Professora: Ana P Silva

Alexander

Lista 2 – Parte 1

Os exercícios desta lista têm como fundamento os tópicos 7,8 e 9.
Você deverá postá-los na atividade correspondente somente os itens solicitados.

1. Determinar, por meio de tabela verdade, a validade dos argumentos:
OBS: Entregar os itens: a, g,i, j e m.

a) p  q, q p

1

2

3

((p

q)
^
q)
->
p
V
V
V
V
V
V
V
V
F
F
F
F
V
V
F
F
V
F
V
V
F
F
V
F
F
F
V
F

g) p -> ¬q, ¬r -> ¬q .: p -> ¬r

1

3

2

5

4

((p
->
¬q)
^
(¬r
->
¬q))
->
(p
->
¬r)
V
F
F
F
F
V
F
V
V
F
F
V
F
F
F
V
F
F
V
V
V
V
V
V
V
V
F
V
V
F
V
F
F
V
V
V
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V
F
V
F
F
V
F
F
V
F
F
V
F
V
V
F
V
V
V
F
V
V
V
F
V
F
F
V
V
V
V
V
V
V
F
V
V

i) p -> q, r v ¬q, ¬r .: ¬p

4

1

3

2

5

p
->
((q
^
r) v (¬q
^
r))
->
¬p
V
V
V
V
V
V
F
F
V
F
F
V
F
V
F
F
F
F
F
F
V
F
V
V
F
F
V
V
V
V
V
F
F
V
F
F
F
F
F
V
F
F
V
F
F
V
V
V
V
V
F
F
V
V
V
F
V
V
F
F
F
F
F
F
V
V
F
V
F
F
V
V
V
V
V
V
V
F
V
F
F
F
F
V
F
F
V
V

j) Se chove, Marcos fica resfriado. Marcos não ficou resfriado. Logo, não choveu.
Se chove = p
Marcos fica resfriado = q
(p -> q) ^ ¬q .: ¬p

1

2

3

(p
->
q)
^
¬q
->
¬p
V
V
V
F
F
V
F
V
F
F
F
V
V
F
F
V
V
F
F
V
V
F
V
F
V
V
V
V

m) Se trabalho, não posso estudar. Trabalho ou passo em física. Trabalhei, logo passei em física.
Trabalho = p
Estudo = q
Passei em física = r
((p -> ¬q) ^ (p v r) ^ p) .: r

1

3

2

4

5

((p
->
¬
q)
^
(p
v
r)
^
p)
-> r V
F
F
V
F
V
V
V
F
V
V
V
V
F
F
V
F
V
V
F
F
V
V
F
V
V
V
F
V