1 Lista de Exerccios sobre Lgica Proposicional

ETC Escola Tcnica de Ceilndia -LLP

Profa. Aline Teles Cristalino
1) Para cada proposio composta determine quais so as proposies simples que a compem e
quais conectivos esto sendo utilizados:
a) Paulo alto e bonito.
b) Paulo bonito mas baixo.
c) No verdade que Paulo bonito ou baixo.
d) Paulo no nem bonito e nem alto.
e) Paulo bonito ou feio e alto.
f) falso que Paulo feio ou que no alto.
g) Ana fala ingls.
h) Ana fala francs e ingls, ou no fala francs e nem espanhol. i) No verdade que Ana fala
ingls e que no fala francs.
j) falso que Ana fala francs ou espanhol mas no fala ingls.
2) Sejam as proposies: p: Paulo bonito e q: Paulo alto. Traduzir para a linguagem simblica as
seguintes proposies:
a) Paulo alto e bonito.
b) Paulo bonito mas baixo.
c) No verdade que Paulo bonito ou baixo.
d) Paulo no nem bonito e nem alto.
e) Paulo bonito ou feio e alto.
f) falso que Paulo feio ou que no alto.
3) Sejam as proposies: p: Alfredo pobre e q: Tiago feliz. Traduzir para a linguagem corrente as
seguintes proposies :
a) q p
b) p q
c) p q
d) p q
e) ~ ~ q
f) ( ~ p q ) p
4 - Interprete a letra sentencial C como Est chovendo. e a letra
sentencial N como Est nevando. Expresse a forma de cada
sentena na notao da lgica proposicional.
a) No est chovendo.
b) Est chovendo ou nevando.
c)
d)
e)
f)

No est chovendo e no est nevando.

Est chovendo e nevando.
Est chovendo, mas no nevando.
No verdade que est chovendo e nevando.

5) Determinar o valor lgico (V ou F) de cada uma das seguintes proposies:

0 > 1 5 irracional
1 > 0 3 + 2 = 5
52 = 10 um nmero racional
3 = 3 ou 25 = 4
Se 5 = 5 ento 4 + 4 = 9
Se Cuiab a capital de Pernambuco ento Pedro lvares Cabral
descobriu a Amrica.
Se 10 2 = 7 ento 33 = 27
No verdade que 8 um nmero mpar.
E falso que Cuiab a capital de Mato Grosso.
No verdade que 8 + 1 = 9 e 8 1 = 6
E falso que 3 + 3 = 6 ou -1 = 0
~( 3 1 = 2 22 = 5 )
~( 3 . 2 = 9 5 1 4 )

(
(
(
(
(
(

)
)
)
)
)
)

(
(
(
(
(
(
(

)
)
)
)
)
)
)

6)
a)
b)
c)

Fazer a tabela-verdade das frmulas abaixo:

((A ^ C) A)
((~~ A v C) ^ C)
((P ^ ~Q) v (~P v R))

7) Dizer qual proposio define a tabela-verdade a seguir.

P
Q
?
V
V
F
V
F
V
F
V
V
F
F
V
a) (P ^ Q)
d) (P Q)

b) (P v Q)
e) ~(P ^ Q)

c) (~P v Q)

8) (CESPE PF-Regional/2004) Considere as sentenas abaixo.

I Fumar deve ser proibido, mas muitos europeus fumam.
II Fumar no deve ser proibido e fumar faz bem sade.
III Se fumar no faz bem sade, deve ser proibido.
IV Se fumar no faz bem sade e no verdade que muitos europeus
fumam, ento fumar deve ser proibido.
V Tanto falso que fumar no faz bem sade como falso que fumar deve
ser proibido; consequentemente, muitos europeus fumam.
Considere tambm que P, Q, R e T representem as sentenas listadas na
tabela a seguir. Com base nas informaes acima e considerando a notao
introduzida no texto, julgue os itens seguintes.

(
) A sentena I pode ser corretamente representada por P ^ (~T).
(
) A sentena II pode ser corretamente representada por (~P) ^ (~R).
(
) A sentena III pode ser corretamente representada por R P.
(
) A sentena IV pode ser corretamente representada por (R ^ (~ T)) P.
(
) A sentena V pode ser corretamente representada por T ((~R) ^
(~P)).