Exerccios de Fixao

1) Para cada uma das sentenas abaixo, dizer se insatisfatvel, satisfatvel ou vlida:
a) P P
b) P P
c) P P
d) P P
e) P ( QP )

2) Prove que ( Q P ) uma consequncia lgica de ( P Q ):

a) Por definio de consequncia lgica
b) Pelo teorema da deduo
c) Por contradio
d) Usando deduo natural.

3) Formalize em lgica proposicional

a) Maria no passar se no estudar
b) Maria no passar a menos que estudar
c) A cura do cncer no ser descoberta a menos que sua causa seja descoberta e um novo
medicamento seja encontrado.

4) Suponha que a polcia esteja investigando um roubo e descobriu os seguintes fatos.

Todas as portas da casa foram lacradas e no mostram sinais de entrada forada. De fato, as
nicas formas possveis de entrar e sair de casa eram atravs de uma pequena janela no
primeiro andar que foi deixada aberta e uma janela aberta no quarto do segundo andar.
Com base nisto, o detetive descartou um ladro bem conhecido, Jlio, que pesa 98 quilos e
tem artrite. a) Explique o raciocnio. b) Formalize o raciocnio e prove que Jlio no
roubou a casa por deduo natural.

5) Assuma que n + m mpar. Prove que n m par, utilizando prova por contradio.
Prove tambm a implicao mpar (n + m) Par (n m).

6) Uma rvore de derivao (ou rvore sinttica) de uma frmula proposicional P uma
rvore finita em que i) P a raiz ii) cada n da rvore uma frmula proposicional iii) para
todo n N da rvore,, se N smbolo proposicional (ou bottom), N no tm filhos iv) para
todo n N da rvore, se N da forma NN 1 N 2 , ento N possui exatamente dois ns
filhos contendo, respectivamente, N 1 e N 2 e v) para todo n N da rvore, se N da forma
NN 1 , ento N possui exatamente um n filho contendo N 1 .
a) Mostre que as seguintes frmulas so bem-formadas e apresente a rvore de
derivao de cada uma:
( P ( ( Q ) ) )
( ( ( P( P ) ) ) )
( P ( ( QR ) ( ( P Q ) ( P R ) ) ) )
 b) Mostre que para qualquer frmula, ela bem formada se, e somente se, existe
uma rvore de derivao para ela.