You are on page 1of 2

Lista 1

Introdução à Lógica Matemática
Matemática - 3o período
Professora: Camile Fraga Delno Kunz
camile.kunz@uemg.br

Exercícios
1) Dentre as frases abaixo, determine quais são proposições e quais não são, e explique o porquê.
Caso seja uma proposição, determine seu valor lógico:

a) O número x∈R é tal que log x = 63.
b) −x é um número negativo.
c) Os ângulos internos de um triângulo isósceles.
d) π < 3, 5 e π < 4.
e) A função real seno assume valores no intervalo [−1, 1].
 1 −3  1 −2
f) > ?
3 3
g) y não é divisor de 2004.

2) Sejam as proposições p e q:
p: Está frio

q: Está chovendo

Traduzir para a língua portuguesa as seguintes proposições em linguagem lógica:

a) ∼p b) p∧q c) q ∨ p
d) p⇒q e) p⇔q f) q ⇒∼ p
g) q ⇒∼ p h) ∼ p∧ ∼ q i) p∧ ∼ q ⇒ p

3) Sejam as proposições p, q e r:
p: Beatriz é feliz
q: O céu é azul
r: Ana joga truco

Traduzir para a língua portuguesa as seguintes proposições em linguagem lógica:

a) ∼ (p ∧ ∼ q) b) ∼ p∧q ⇒ q∧ ∼ p
c) p∧r ⇒ q∨ ∼ r d) (p∧ ∼ q) ∨ r

1

e) Marcos é alto ou baixo e é elegante.php. qual o valor da proposição em cada um dos itens? 8) Na questão 3. em que V(p) = F e V(q) = F d) (p ∧ q) ⇒ (q ∨ ∼ p). c) Não é verdade que Marcos é baixo ou elegante. 2 . Iniciação à lógica matemática. em que V(p) = F e V(q) = V f) p ∨ (q ⇔ ∼ q). determine o valor lógico da proposição composta em cada item: a) ∼ (p ∨ q).br/logicamat/logicamatematica. 2000. Um convite à Matemática. V(q) = V e V(r) = F . f ) Se Marcos é alto. em que V(p) = V e V(q) = F g) (p ∧ (∼ q ⇒ p))∧ ∼ ((p∨ ∼ q) ⇒ (q∨ ∼ p)). São Paulo : Nobel. então Marcos é elegante. Traduzir para a linguagem lógica as seguintes proposições: a) Marcos é alto e elegante.202p. em que V(p) = F e V(q) = V 7) Na questão 2. em que V(p) = V e V(q) = V e) p ⇔ ∼ q. considerando que V(p) = V e V(q) = F . Edgard de. b) Marcos é alto. • FILHO. considerando que V(p) = V . • http://bianchi. mas não é elegante. Universidade Federal de Campina Grande. d) Marcos não é alto nem elegante. em que V(p) = F e V(q) = V b) ∼ (p ∧ ∼ q). 2001.4) Sejam as proposições p: Marcos é alto e q: Marcos é elegante. qual o valor da proposição em cada um dos itens? Referências Bibliográcas • ALENCAR FILHO. 18 ed. 5) Determine o valor lógico (V ou F) das seguintes proposições compostas: a) (1 + 1 = 2) ∨ (π > 4) b) ∼ (x + 1 = 0 para x = 2) ∧ (4 é par) c) (x + 1 = 0 para x = −1) ∨ (4 é par) d) Marte é um planeta ⇒ (3 < π) e) Marte é um planeta ⇔ (3 < π) f) (3 < π) ⇒ Marte é um planeta g) ∼ (3 < π) ⇒ Marte é um planeta 6)Considerando o valor lógico de cada proposição simples.pro. em que V(p) = V e V(q) = V c) ∼ p ⇒ (q ∨ ∼ p). Acessado em 30/08/2017. Daniel Cordeiro de Morais.