Apostila de Lógica

Unidade 1 – Sentenças e Representação simbólica
6. Construir as tabelas verdade das seguintes proposições:
a) ~ p
~ q
b) p
~ q q p
c) q ~ q p
d) p r q
~ r
7. Sejam as proposições P : tg x ctgx
cada uma das seguintes proposições:
a) ~ p
q ~
p
~ q
b) p
~
p q ~
p
~ q
e Q : 2. Determinar o valor lógico de
8. Sabendo que a condicional p q é verdadeira, determinar o valor lógico da condicional
p r q r .
9. Mostrar que:
a) q p q b) q p q p
c) x
0 x y x y x 0
10. Mostre que p ~ q não implica p q .
11. Mostre que as proposições p e q são equivalentes em cada um dos seguintes casos:
2
a) p : 1 3 4;
q : 1
3 16
b) p : sen0 1;
cos 0 0
p : x y; q : x z y z
d) p : a b; q : b a
c) x, y, z R
e) p : O triângulo ABC é retângulo em A;
q : a
2
b
2
c
2
12. Demonstre por tabela verdade as seguintes equivalências:
a) p p
q p
b) p
q r p
~ r ~ q
c) p
q
p
r p q r