P. 1
sdsl4

sdsl4

|Views: 75|Likes:

More info:

Published by: Glauco Roberto Munsberg on Oct 22, 2010
Direitos Autorais:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

01/14/2013

pdf

text

original

UNIVERSIDADE FEDERAL DE PELOTAS

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


Sistemas Discretos I
Prof. Aline Brum Loreto Prof. Aline Brum Loreto Prof. Aline Brum Loreto 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


2
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, 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, usando a tabela verdade, 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



3
5) Suponha o conjunto universo R.
a) Determine o valor verdade (V ou F) de cada uma das seguintes proposições:
a.1) (∀x)(x=x)
a.2) (∃x)(x
2
=x)
a.3) (∃x)(x=0)
a.4) )(∃x)(x+2=x)
a.5) (∀x)(x+1>x)
a.6) (∀x)(x
2
=x)
a.7) (∃x)(2x=x)
a.8) (∃x)(x
2
+3x=-2)
a.9) (∃x)(x
2
+5=2x)
a.10) (∀x)(2x+3x=5x)
b) Negue cada uma das proposições do item acima.
6) Suponha o conjunto universo {1,2,3,4,5,6,7,8,9}. Apresente um contraexemplo para
cada uma das seguintes proposições:
a) (∀x)(x+5<12)
b) (∀x) (x é primo)
c) (∀x)(x
2
>1)
d) (∀x)(x é par)
7) Suponha o conjunto universo {2, 3,4,5,6,7,8,9}.
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)(x
2
>y)
e) (∀x)(∃y)(x
2
>y)
f) (∀x)(∀y)(∀z)(x=y>z)
g) (∃x)(∀y)(∀z)(x+y>z)
h) (∃x)(∀y)(∃z)(x+y>z)

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 . 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. usando a tabela verdade.

You're Reading a Free Preview

Descarregar
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->