UNIVERSIDADE FEDERAL DE PELOTAS

INSTITUTO DE FÍSICA E MATEMÁTICA
CURSO DE ENGENHARIA DE COMPUTAÇÃO

Sistemas Discretos I
Prof. Aline Brum Loreto
****************************************************************************************

Lista 2 – Exercícios
LÓGICA

1) Sabendo que os valores verdade das proposições p e q são respectivamente V e F,
determine o valor lógico (V ou F) de cada uma das seguintes proposições:
a) p ∧ ¬q
b) p ∨ ¬q
c) ¬p ∧q
d) ¬p ∧¬q
e) ¬p ∨ ¬q
f) p ∧(¬p ∨q)

2) Determine V(p) em cada um dos seguintes casos:
a) V(p)=V e V(p ∧q) =F
b) V(q) =F e V(p∨q) = F
c) V(q) =F e V(p→q)=F
d) V(q) = F e V(q →p)=V
e) V(q)= V e V(p↔q) = F
f) V(q) = F e V(q↔p)=V

usando a tabela verdade. determine o valor verdade (V ou F) de cada uma das seguintes proposições: a) x=0 ∧ x=y →y≠z b) x≠0 ∨ y=t →y=z c) x≠y ∨ y≠z→y=t d) x≠0 ∨ x≠y →y ≠z e) x=0 →(x≠y ∨ y≠t) 4) Prove.3) Construa as tabelas verdade das seguintes fórmulas e identifique as que são tautologias ou contradições: a) ¬(p ∨ ¬q) b) ¬(p→¬q) c) (p→q)→p∧q d) p→(q→(q→p)) e) ¬(p→(¬p→q)) f) p∧q→(p↔q∨r) g) p→(p→¬r)↔q∨r 3)Sabendo que as proposições x=0 e x=y são verdadeiras e que as proposições y=z e y=t são falsas. as seguintes equivalências: a) Idempotência: p ∧p ⇔p e p ∨p ⇔p b) Comutativa: p ∧q ⇔ q∧p e p∨q ⇔ q∨p c) Associativa: p∧(q∧r)⇔(p∧q)∧r e p∨(q∨r)⇔(p∨q)∨r d) Distributiva: p∨(q∧r)⇔(p∨q)∧(p∨r) e p∧(q∨r)⇔(p∧q)∨(p∧r) e) DeMorgan (Augustus DeMorgan): ¬(p∧q)⇔¬p∨¬q e ¬(p∨q)⇔¬p∧¬q 2 .

4) )(∃x)(x+2=x) a.8.9}. a) Determine o valor verdade (V ou F) de cada uma das seguintes proposições: a. 6) Suponha o conjunto universo {1.3) (∃x)(x=0) a.7.8.8) (∃x)(x2+3x=-2) a.5) (∀x)(x+1>x) a. a) (∀x)(∀y)(x+5<y+12) b) (∀x)(∃y)(x*y não é primo) c) (∃y)(∀x)(x*y não é primo) d) (∃x)(∃y)(x2>y) e) (∀x)(∃y)(x2>y) f) (∀x)(∀y)(∀z)(x=y>z) g) (∃x)(∀y)(∀z)(x+y>z) h) (∃x)(∀y)(∃z)(x+y>z) 3 .5.9}.9) (∃x)(x2+5=2x) a.7.4.5.6.2) (∃x)(x2=x) a.1) (∀x)(x=x) a.7) (∃x)(2x=x) a.4.6. 3.2. Apresente um contraexemplo para cada uma das seguintes proposições: a) (∀x)(x+5<12) b) (∀x) (x é primo) c) (∀x)(x2>1) d) (∀x)(x é par) 7) Suponha o conjunto universo {2.10) (∀x)(2x+3x=5x) b) Negue cada uma das proposições do item acima.3.6) (∀x)(x2=x) a.5) Suponha o conjunto universo R.

Sign up to vote on this title
UsefulNot useful