LISTA 2 -Tabela Verdade
1. Determine a tabela verdade associada a cada uma das fórmulas a seguir :      

a) p ® q  Ú  ~ r       

b) r Ù p «  ~ q  

c) (~ p Ú q) « ( p ® q)

d) p ® (( q® r) ® ((p ® r) ® ( p ® r )))

e) (p ® ~ q) « ~ p

f) (q ® ~ p)

g) ( p ® (q ® r)) « ((p Ù q) ® r)

h) (r Ù ~ p ) « ( p Ù r)

i) ( p ® q ) ® ((( p Ù q) « p) Ù (( p Ú q) « q))

j) ( F ® q) « r

k) V ® q

l) ( p ® F ) « r

m) p ® V

2. Seja I uma interpretação (uma linha da tabela verdade) tal que I[p]= V, I[q] = F e I[r]=F. Qual o valor verdade de cada fórmula segundo a interpretação I ?

3. Seja J uma interpretação onde todas as fórmulas acima são V e J[p]= V. O que se pode concluir a respeito de J[q] e J[r] em cada um dos casos ?

4. Dê o valor verdade de p sendo :
a) p ® q: V e q: V
b) q ® p: V e q: F
c) p « q : F e q: F

5. Sendo p : F , q : F e  r : V determine o valor verdade de :
a)   ((p Ú q) Ù (q Ú r)) ® p
b) ~ ( ~ ( ~ ( q Ù r)) ® (~ (~ p)))

 

6. Determine, se possível, o valor verdade de :
a) (p ® s) ®r sendo r : V .
b) (p Ú r) Ú ( s ® a) sendo p : F e a : V
c) ((p Ú q) « (q Ù p)) ® (( r Ù p) Ú q ) sendo q : V

 

7. Determine os valores de p e q sendo :
a) p ® q : V e p Ù q : F
b) p « q : F e ~ p Ú q : V

 

8. Sabendo que os valores lógicos das proposições ‘p’ e ‘q’ são respectivamente F e V, determinar o valor lógico (V ou F) da fórmula:

 (p Ú (~q ® q)) Ú ~((p « ~q) ® (q Ù ~p))

Celina Abar

PUCSP-2004