Formas de raciocnio

Deduo: do geral para o particular

Dado PQ e P conclui-se Q
Induo: generalizao a partir de instncias
Dado um conjunto de observaes do tipo
(o,|,o,c), (o, o, c), (o,|,o), (o,|,o) e (o,c),
conclui-se |o, entre outras possveis sentenas
Abduo: raciocnio imperfeito que parte do
conseqente aos antecedentes
Dado PQ conclui-se QP

Deduo natural (definies)
Dizemos que uma frmula o um teorema da lgica
proposicional se ela uma axioma ou pode ser derivada
dos axiomas pela aplicao de regras de inferncia.
Uma lgica definida pela tripla [L,A,R], sendo L uma
linguagem, A um conjunto de axiomas e R um conjunto de
regras de inferncia.
Na deduo natural consideramos A como sendo um
conjunto vazio e derivamos os seus teoremas pela
aplicao das regras de inferncia.
Utiliza-se a assuno de hipteses sendo que uma hiptese
s pode ser usada no seu escopo de suposio.
Regras de introduo:
I. (introduo do e): - o,| -
o.|
Iv (introduo do ou): - o -
ov|
I (introduo da implicao): [o....|] -
o|
I (introduo da negao): [o....|], [o.... | ] -
o

Deduo natural (Regras de inferncia)
Deduo natural (Regras de inferncia)
Regras de eliminao:
E. (eliminao do e): - o.| -
o
Ev (eliminao do ou): - ov|, [o.... u], [|....u] -
u
E (eliminao da implicao): o, o| -
|
E (eliminao da negao): o, o -
|
Deduo natural (prova de teoremas)
Exemplo: Prove por deduo natural que oo

1. o AH
2. o AH
3. o (1)
4. o (2, 3, I)
5. oo (1, 4, I)
Exerccios
1. Identifique a estrutura dos argumentos a seguir e construa os
diagramas correspondentes:

A) Karla atia mas uma boa pessoa. Isto mostra que voc no tem
que acreditar em Deus para ser uma boa pessoa.

B) Se voc fosse meu amigo, no falaria por trs de mim. E voc fala o
tempo todo por trs de mim, p!

Formalizao de conceitos
Frmula: uma frmula da lgica proposicional uma seqncia linear
de qualquer dos elementos do vocabulrio;
wff (well-formed formulas):so frmulas da lgica proposicional que
respeita as regras de formao dessa lgica;
Argumento: Toda afirmao de que uma dada seqncia finita
P
1
, P
2
,...,P
n
de proposies tem como conseqncia, ou acarreta, uma
proposio final Q. Um argumento escrito da seguinte forma:
P
1
, P
2
,...,P
n
Q
donde o smbolo expressa a noo de derivao e no pertence ao
vocabulrio da lgica proposicional.
Formalizao de conceitos
Validade de um argumento: um argumento P
1
, P
2
,...,P
n
Q vlido
se e somente se a concluso Q verdadeira todas as vezes em que as
premissas P
1
, P
2
,...,P
n
so verdadeiras. Pode-se dizer que um
argumento P
1
, P
2
,...,P
n
Q vlido se e somente se a condicional
(P
1
.P
2
.....P
n
) Q tautolgica.

Satisfabilidade de uma frmula: dizemos que uma frmula o
satisfatvel se existir uma funo de valorao G(o) =V. Neste caso,
dizemos que a funo de valorao satisfaz o.
Formalizao de conceitos
Decidibilidade da lgica proposicional: diz-se que um sistema lgico
decidvel se existe um algoritmo que determina se a formas de
argumentos expressveis nesse sistema so vlidas ou no.
Sendo assim a lgica proposicional ..................
Formalizao de conceitos
Decidibilidade da lgica proposicional: diz-se que um sistema lgico
decidvel se existe um algoritmo que determina se a formas de
argumentos expressveis nesse sistema so vlidas ou no.
Sendo assim a lgica proposicional DECIDVEL, j que a validade
de um argumento seu pode ser verificada por uma tabela-verdade, por
exemplo.
Algumas formas de se verificar a validade de um
argumento
Deduo natural (j apresentada);
Resoluo;
Tableau:
Tambm refutacional
Adequado para prova automtica de teoremas.


Mtodo tableau
Pontos de partida:
(a) P.P so insatisfatveis por qualquer funo;
(b) |vo insatisfatvel se | for insatisfatvel e se o tambm o for;
(c) Para verificar se o insatisfatvel ns a colocamos na forma
disjuntiva e verificamos se todos os conjuntos so insatisfatveis.
Noo geral do mtodo:
(a) A partir de o que se quer provar, escreve-se o (na forma
disjuntiva).
(b) Toma-se o como raiz de uma rvore, onde cada disjunto ocupe
um ramo da rvore.
(c) Procurar por subfrmulas insatisfatveis em todos os ramos da
rvore. Se todos os ramos forem insatisfatveis, ento o
insatisfatvel e, portanto, o vlida.
Mtodo tableau


Definio 1: Um ramo r de um tableau T dito ser um ramo fechado
se ele contiver o e o, para qualquer frmula o.

Definio 2: Um tableau T dito ser um tableau fechado se cada um
dos seus ramos for fechado.
Mtodo tableau
Regras do tableau para quaisquer frmulas o e |:
(a) Regras do tipo A:
o.| (ov|) (o|) o
o o o o
| | |


(b) Regras do tipo B:
ov| o| (o.|)
o | o | o |



Mtodo tableau
As regras colocam as duas subfrmulas de uma conjuno no mesmo
ramo e bifurcam o ramo original para a disjuno.
Exemplo 1: Verifique a validade do argumento (P(QP))
1 (P(QP)) (argumento negado)
2 P (1,A)
3 (QP) (1,A)
4 Q (3,A)
5 P (3,A)

Os passos 2 e 5 fecham o ramo e, portanto, est provada a validade do
argumento.
Mtodo tableau
Exemplo 2: Verifique a validade do argumento (ov|)(o.|)
1 ((ov|)(o.|)) (argumento negado)
2 (ov|) (1,A)
3 (o.|) (1,A)
4 o (2,A)
5 | (2,A)
6 o | (3,B)
7 o | (6,A)
Os ramos 7(o) e 7(|) so fechados respectivamente, com as frmulas
em 4 e 5.
Mtodo tableau
Exemplo 3: Verifique a validade do argumento o(|(o.|))
1 (o(|(o.|))) (argumento negado)
2 o (1,A)
3 (|(o.|)) (1,A)
4 | (3,A)
5 (o.|) (3,A)
6 o | (5,B)

Por 2 com 6 e 4 com 6 o tableau est fechado.