1° Lista de exercícios

1. Sejam as proposições p: Está frio e q: Está chovendo. Traduzir pra linguagem corrente as seguintes proposições:
a) ~p
b) p^q
c) pvq
d) q↔p
e) p→~q
f) pv~q
g) ~p^~q
h) p↔~q
i) p^q→p
2. Sejam as proposições p: Jorge é rico e q: Carlos é feliz. Traduzir para linguagem corrente as seguintes proposições:
a) q→p
b) pv~q
c) q↔~p
d) ~p^~q
e) ~~p
f) ~(~p^~q)
3. Sejam as proposições p: Ana é alta e q: Ana é elegante. Traduzir para linguagem simbólica as seguintes proposições:
a) Ana é alta e elegante.
b) Ana é alta, mas não é elegante.
c) Não é verdade que Ana é baixa ou elegante.
d) Ana não é nem alta e nem elegante.
e) Ana é alta ou é baixa e elegante.
f) É falso que Ana é baixa ou que não é elegante.
4. Traduzir para linguagem simbólica as seguintes proposições matemáticas:
a) x=0 ou x>0
b) x>1 ou x+y = 0
c) x≠0 e y≠0
d) x2 = x e x0 = 1
5. Determinar o valor lógico (V ou F) de cada uma das seguintes proposições:
a) 3+2 = 7 e 5+5=10
b) 2+7=9 e 4+8=12
c) senπ= 0 e cosπ= 0
d) 1>0^2+2=4
e) 0>1 ^
3
é irracional
f)
( ) racional é ^1 1
2
π − = −
g)
racional é 5 ^1