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
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

2
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)(x2=x)

a.3) (∃x)(x=0)

a.4) )(∃x)(x+2=x)

a.5) (∀x)(x+1>x)

a.6) (∀x)(x2=x)

a.7) (∃x)(2x=x)

a.8) (∃x)(x2+3x=-2)

a.9) (∃x)(x2+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)(x2>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)(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)