Logica
1. Seja p a proposição “esta chovendo” e seja q “esta ventando”. Escreva em linguagem corrente as proposições representadas abaixo:
a) ~~p- “não é verdade que não esta chovendo”
b) P^~q- __________________________________________________________
c) qv~p- _________________________________________________________
d) q→p- __________________________________________________________
e) ~(p^q)-_________________________________________________________
f) p v q- __________________________________________________________
g) p↔p-__________________________________________________________
h) ~p^q-__________________________________________________________
2. Construa a tabela verdade das seguintes proposições:
a) ~p^r↔qv~r | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
b) p→r↔qv~r | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
c) p→(p↔~r)↔qvr | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
d) (p^q→r)v(~p↔qv~r) | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
e) (~sv~q)^(~pvs) | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |