Licenciatura em Matemtica 2015.

23/03/2016

Matemtica Discreta AP1

Professor: Francisco Cunha

Aluno:

Nota:

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)