Exerccios: Lgica Proposicional (LP) Escreva as frmulas correspondentes s sentenas, observando as regras de parnteses Regras: conjuno liga mais

forte que disjuno: PQR = (PQ)R disjuno liga mais forte que implicao: PQR = P(QR) implicao liga mais forte que bicondicional: PQR = (PQ)R (veja livro, p. 103-108). P: Pedro suspeito. Q: Carlos suspeito. R: Ricardo suspeito. S: Pedro culpado. T: Carlos culpado. U: Ricardo culpado. 1) Se Pedro culpado, ento nem Carlos nem Ricardo so culpados. Resposta: S(T U) 2) Pedro, Carlos e Ricardo so suspeitos. P Q R 3) Se Pedro for culpado, ento Carlos tambm culpado. ST 4) Se Carlos for culpado, ento Pedro e Ricardo tambm so. T (S U) 5) Ou Pedro e Carlos so (ambos) culpados, ou Ricardo (mas no os trs). ((S T) U) (S T U) outra verso ((S T) U) ((S T) U)

6) Pedro culpado se e somente se nem Carlos nem Ricardo forem culpados. S (T U) 7) Pedro no culpado, e Carlos no suspeito. S Q 8) No verdade que Carlos e Ricardo so ambos culpados. (T U) 9) Se Carlos no suspeito e Ricardo no culpado, ento Pedro culpado.

(Q U) S 10) Se Ricardo e Carlos forem suspeitos, ento Pedro tambm . (R Q) P 11) Ou Pedro e Carlos so ambos suspeitos, ou nenhum deles . (P Q) (P Q) 12) No verdade que nenhum deles (Pedro, Carlos e Ricardo) so culpados. (S T U)