IFCE Licenciatura em Matematica Prof. Francisco G. M.

Cunha

Matematica Discreta 2017.1 - 1a. Avaliacao Parcial

Aluno: Data: 05/05/2017

1a Quest
ao: (2,0 pontos)
Determine:
a) P (V F F V ) para P (p, q, r, s) = p q r r s.
b) O valor logico de (p q) (r s) p s, sabendo que V (p) = V e V (s) = F .
c) p q (p q r).

2a Quest
ao: (2,0 pontos)
Se V (p) = V (q) = 1 e V (r) = V (s) = 0, determine os valores logicos das seguintes proposicoes:
a) (q ( p s)).
b) q (( r s) (p q)).

3a Quest
ao: (2,0 pontos)
Determine V (p) e V (q) em cada um dos seguintes casos:
a) V (p q) = 0 e V ( p q) = 1.
b) V (p q) = 1 e V (p q) = 0.

4a Quest
ao: (3,0 pontos)
Quando ha as duas implicacoes P1 Q1 e Q1 P1 , dizemos que as duas proposicoes P1 e Q1
sao equivalentes e escrevemos P1 Q1 . Determine, em cada caso, se as proposicoes P1 e Q1 s
ao
equivalentes, se ha algum das duas implicacoes P1 Q1 ou Q1 P1 ou se nao ha implicac ao
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.

N
ao desampares a sabedoria, e ela te guardara;
ama-a, e ela te conservar
a.(Prov
erbios 4:6)