Lista 2

1 - Considerando:
V1 - X= não sairei de casa; Y = vou ao cinema.

V2 - X = Está frio; Y = Não há ônibus.

Traduza os enunciados usando as duas referências (V1 e V2):

A) ~X – sairei de casa / não está frio

B) Y ↔ X – vou ao cinema somente se não sairei de casa / não há ônibus somente se

está frio

C) Y ^ X – vou ao cinema e não sairei de casa / não há ônibus e está frio

D) ~X → Y – se sairei de casa, então vou ao cinema / se não está frio, então não há
ônibus

E) ~~ X – não sairei de casa / está frio

F)X V ~Y – não sairei de casa ou não vou ao cinema / está frio ou há ônibus

G) X V Y → ~Y – se não sairei de casa ou vou ao cinema, então não vou ao cinema / se

está frio ou não há ônibus, então há ônibus

H) ~X ^ ~Y – sairei de casa e não vou ao cinema / não está frio e há ônibus

I) (X V Y) → ( Y V X) – se não sairei de casa ou vou ao cinema, então vou ao cinema

ou não sairei de casa / se está frio ou não há ônibus, então não há ônibus ou está frio

J) (~X ^ Y) ↔ (~X) – sairei de casa e vou ao cinema, somente se sair de casa / não está
frio e não há ônibus, somente se não está frio

2 - Considerando:

P = André foi ao centro S = Não há dinheiro Z = O banco está fechado

Coloque os enunciados em linguagem simbólica:

A ) Se André foi ao centro e não há dinheiro, então o banco está fechado. - (P^S)→Z

B) O banco está fechado e não há dinheiro, se e somente se, André foi ao centro. –
(Z^S)↔P

C) Não há dinheiro ou o banco está fechado, André não foi ao centro. – (S V Z)→~P

D) Se André foi ao centro e o banco não está fechado, então há dinheiro. – (P ^ ~Z) →
~S
3 - As proposições abaixo são tautológicas, contraditórias ou contingentes? (construa a
tabela de verdade de cada uma )

A) ~(F V B) ↔ (~F V ~B) = Contingente (se disj. Inclus.)

~ (F V B) ↔ (~ F V ~ B)
F V V V V F F F
F V V F F F V V
F F V V F V V F
V F F F V V V V
B) A V ( A → B) = Tautológica (se disj. Inclus.)
A V (A → B)
V V V V V
V V V F F
F V F V V
F V F V F
C) ~A V B = Contingente
~ A V B
F V V V
F V F F
V F V V
V F V F
D) ~(A V B ) → ~(C ^ B ) = Tautológico (se disj. Inclus.)
~ (A V B) → ~ (C ^ B)
F V V V V F V V V
F V V V V V F F V
F V V F V V V F F
F V V F V V F F F
F F V V V F V V V
F F V V V V F F V
V F F F V V V F F
V F F F V V F F F
E) [P→ (P → Q)] → Q = Contingente
[P → (P → Q) → Q
V V V V V V V
V F V F F V F
F V F V V V V
F V F V F F F
F) [(P → Q) → R] ↔ [(Q →P) → R] = Contingente
[(P → Q) → R] ↔ [( → P) → R]
V V V V V V V V V V V
V V V F F V V V V F F
V F F V V V F V V V V
V F F V F F F V V F F
F V V V V V V F F V V
F V V F F F V F F V F
F V F V V V F V F V V
F V F F F V F V F F F