Exerccios: Lgica Proposicional (LP)

Escreva as frmulas correspondentes s sentenas, observando as regras de parnteses

Regras: conjuno liga mais forte que disjuno: PR ! "P#R
disjuno liga mais forte que implicao: PR ! P"R#
implicao liga mais forte que bicondicional: PR ! "P#R
"veja livro, p$ %&'(%&)#$
P: Pedro * suspeito$
: +arlos * suspeito$
R: Ricardo * suspeito$
,: Pedro * culpado$
-: +arlos * culpado$
.: Ricardo * culpado$
%# ,e Pedro * culpado, ento nem +arlos nem Ricardo so culpados$
Resposta: ,"- .#
/# Pedro, +arlos e Ricardo so suspeitos$
P R
'# ,e Pedro for culpado, ento +arlos tamb*m * culpado$
, -
0# ,e +arlos for culpado, ento Pedro e Ricardo tamb*m so$
- ", .#
1# 2u Pedro e +arlos so "ambos# culpados, ou Ricardo * "mas no os trs#$
"", -# .# (, - .) outra verso "", -# .# ((, -# .)
3# Pedro * culpado se e somente se nem +arlos nem Ricardo forem culpados$
, (- .)
4# Pedro no * culpado, e +arlos no * suspeito$
,
)# 5o * verdade que +arlos e Ricardo so ambos culpados$
(- .#
6# ,e +arlos no * suspeito e Ricardo no * culpado, ento Pedro * culpado$
( .# ,
%&# ,e Ricardo e +arlos forem suspeitos, ento Pedro tamb*m *$
(R # P
%%# 2u Pedro e +arlos so ambos suspeitos, ou nen7um deles *$
(P # (P #
%/# 5o * verdade que nen7um deles "Pedro, +arlos e Ricardo# so culpados$
(, - .#