I

Responda a cada uma das questões seguintes.

A. Se a proposição com a forma P ͢ Q for verdadeira e se P for verdadeira, qual é o valor

de verdade de Q?
B. Se a proposição com a forma P v Q for falsa, qual o valor de verdade de P?
C. Se a proposição com a forma P & Q for falsa, qual o valor de verdade de P?
D. Se a proposição com a forma P ͍ Q for verdadeira e se Q for falsa, qual o valor de
verdade de P?
E. Se a proposição com a forma ~~P for verdadeira, qual o valor de verdade de P?
F. Se a proposição com a forma P ͢ Q for falsa e se P for verdadeira, qual o valor de
verdade de Q?
G. Se a proposição com a forma P v Q for falsa, qual o valor de verdade de P?
H. Se a proposição ~(P v Q) for verdadeira, qual o valor de verdade de P?
I. Se a proposição P ͍ Q for falsa e se P for verdadeira, qual é o valor de verdade de Q?
J. Se a proposição P & Q for falsa e se Q for verdadeira, qual o valor de verdade de P?
K. Se a proposição com a forma ~(P ͍ Q) for falsa e se P for verdadeira, qual o valor de
verdade de Q?
L. Se a proposição com a forma P v Q for verdadeira, qual é o valor de verdade de P?
M. Se a proposição com a forma de ~(P ͢ Q) for verdadeira, qual é o valor de verdade de
Q?
N. Se a proposição com a forma de ~P ͢ Q for verdadeira, qual é o valor de verdade de
P?
O.
P. Se a proposição com a forma ~P ͢ Q for verdadeira, qual é o valor de verdade de P?
Q. Se a proposição com a forma de ~ (P & Q) for falsa, qual é o valor de verdade de P?
R. Se a proposição com a forma P & ~Q for verdadeira, qual é o valor de verdade de Q?
S. Se a proposição com a forma ~P ͢ ~Q for falsa, qual é o valor de verdade de Q?
T. Se a proposição com a forma ~P ͍ Q for verdadeira, e se Q for verdadeira, qual é o
valor de P?

II
Traduza para linguagem natural as proposições complexas a seguir apresentadas. Para tal,
tenha em consideração o seguinte dicionário:

P = O Aníbal tem uma paixão pelo montanhismo

Q = O Aníbal gosta do contacto com a natureza.
R = O Aníbal tem uma sensação de liberdade quando alcança o cume de uma montanha.

A. «P v Q» I. ~ ((P & Q) ͢ R)
B. «~P ͢ Q» J. ~ (P v Q)
C. ~ ~Q K. ~ P ͢ ~Q
D. ~ (R ͢ Q) L. (Q ͢ P) v R
E. ~P͍~Q M. (P & Q) v R
F. (P & Q) ͢ R N. P͍Q
G. (P v Q) ͢ R O. ~(P ͍ R)
H. ~P & ~P