Instituto Federal de Educao, Cincia e Tecnologia do Cear

Licenciatura em Matemtica 2015.2

23/03/2016

Matemtica Discreta AP1

Professor: Gvane Cunha

Aluno:

Nota:
Obs: Elimine um item da 1. e um do 5. problemas e faa os demais.

Problema 1

(vale 2,0)

Determine:
a) P(VFVV) para

P( p, q, r, s) p ~ r ( p s) q .

b) O valor lgico de

( p q) (r ~ s) ~ p s , sabendo que V(p) = F e V(s) = V.

c) V(q), sabendo que V(p) = F e V(

d) V(p) e V(q), sabendo que V(

p p ~ q ) = F.

p q ) = V e V( p ~ q ) = F.

Problema 2

(vale 2,0)

Por tabelas-verdade, determine se cada uma das proposies seguintes tautologia, contradio ou contingncia:
a)

( p q) ( p q) ~ q

b)

~ p ( p q ) ~ ( p q)

c)

p q ~ r ( p q r )

Problema 3

(vale 2,0)

Sendo A, B e C conjuntos quaisquer, diga, justificando, se verdadeira (V) ou falsa (F) cada uma das afirmaes:
a) A B A

b) A B A B

c) A B A B C

d) B A BC

e) Se A = {,{}}, ento {} 2A e {} 2A

f) Se A B = , ento A = e B =

g) Se A B

, ento A B

h) A (B C) = (A B) (B C)

Problema 4

(vale 2,0)

Determine, em cada caso, se as proposies P1 e Q1 so equivalentes, se h algum das duas implicaes

P1 Q1 ou Q1 P1 ou se no h implicao alguma:
a)

P1 ( p q) p e Q1 q

b)

P1 ( p q) ( p r ) e Q1 p q r

c)

P1 ( p ~ q) (~ p ( p q)) e Q1 ~ q

Problema 5

(vale 2,0)

Considerando as sentenas abertas p(x): x mltiplo de 3 e q(x):

x2 5 x em A = { 6, 4, 2, 0, 3, 4, 5, 6},

determine:
a) os conjuntos-verdade de
b) o conjunto-verdade de

p( x) e de q( x) .

p ( x ) q ( x) .

c) o valor lgico (V ou F) da proposio

( x)( p( x) q( x)) .

d) a negao da proposio do item (c), substituindo as sentenas

p( x) e q( x) por suas expresses.

Bem-aventurado aquele que teme ao SENHOR
e anda nos seus caminhos! (Salmo 128:1)