Escolar Documentos
Profissional Documentos
Cultura Documentos
PQR)S]
P
QR)S
QR
S
Q
regra B em 1
regra A em QR)S
R
regra B em QR)
Exemplo 2
O mesmo para P Q ) P Q )
1.
P Q ) P Q ))
2. .
P Q ) )
(regra A, 1)
3
P Q )
(regra A, 1)
4
P
(regra A, 2)
5.
Q
(regra A, 2)
/\
6.
P Q
(regra B, 3)
O tableau acima fechado (tem dois ramos , num temos P eP, e no
outro Q e Q)
Exemplo 3
O mesmo para P QP Q ))
1.
P QP Q )))
2.
P
3
QP Q )))
4
Q
5.
P Q )))
/\
6
P
Q
Para evitarmos um nmero desnecessrio de bifurcaes na rvore uma
boa heurstica ( sugerida por Smullyan) usar primeiro as regras que no
bifurcam (tipo A), sempre que possvel.
Pode-se mostrar que o sistema de tableaux refutacionalmente correto e
completo, isto , se existe um tableau fechado para ento uma
tautologia e, se uma tautologia ento existe um tableau fechado para
O mtodo do tableaux pode tambem ser usado para responder |=
Basta obtermos um tableau fechado para em que as frmulas de
podem ser usadas em qualquer ramo do tableau
Exemplo
{AB,AC, CB}|=B?
Tableau para B usando frmulas de {AB,AC, CB }|.
B
3
3.
AB
A
B
*
AC
5. A
C
*
6.
CB
C
B
*
*
em
regra B em 4
em
regra B em 5
em
regra B em 6