TABLEAUX SEMÂNTICOS

Francisco José de Araújo

franciscoaraujofja65@gmail.com
TABLEAUX SEMÂNTICOS
§ TABLEAUX SEMÂNTICOS

§ O tableaux semânticos é um sistema de

dedução, que também estabelece estrutura
capaz de permitir a representação e a dedução
formal do conhecimento.
O Método de tableaux semânticos é mais
adequado a implementações computacionais.
Lógica Proposicional 2
 TABLEAUX SEMÂNTICOS

§ O QUE É TABLEAU SEMÃNTICO NA LÓGICA

PROPOSICIONAL?

E´ uma sequência de fórmulas construída de acord

com um conjunto de regras e, geralmente, apresentada
a forma de uma árvore.
É um método de prova baseado em refutação. É corret
completo e decidível em Lógica Proposicional.

Lógica Proposicional
 TABLEAUX SEMÂNTICOS
§ DECIDÍVEL
É um procedimento de decisão, portanto, decidível:
capaz de demonstrar conclusões que são consequên
lógicas de uma teoria e também aquelas que não sã
Ele sempre fornece uma decisão sobre a pergunta:
b |¾H ou b |¾ H ?
PROVA POR REFUTAÇÃO
Para provar b |¾ A mostra-se que bÈ {¬A} |¾ ^, is
é, que bÈ {¬A} é insatisfatível
Lógica Proposicional 4
 TABLEAUX SEMÂNTICOS
§ ELEMENTOS BÁSICOS

§ Definição: Os elementos básicos do método do

tableaux semânticos na Lógica Proposicional são:

- o alfabeto da Lógica Proposicional, sem os símbolos

de verdade;
- o conjunto das fórmulas da Lógica Proposicional;
- um conjunto de regras de dedução.

Lógica Proposicional 5
 TABLEAUX SEMÂNTICOS
§ REGRAS DE INFERÊNCIA
Definição: Sejam A e B duas fórmulas da Lógica
Proposicional. As regras de inferência do método
dos tableaux semânticos na Lógica Proposicional,
são as regras R1, R2, ..., R9 , indicadas a seguir:
R1=A Ù B R2 = A Ú B R3=A ® B
A
B A B ¬A B

Lógica Proposicional 6
 TABLEAUX SEMÂNTICOS

R4=A « B R5=¬¬A R6=¬(A Ù B)

A
AÙB ¬AÙ¬B ¬A ¬B

R7=¬(AÚB) R8= ¬(A ® B) R9= ¬(A « B)

¬A A
¬B ¬B ¬AÙB AÙ¬B

Lógica Proposicional 7
 TABLEAUX SEMÂNTICOS
§ E agora o que fazer com as regras?
Para entender como se aplica o método do tableaux
semânticos, e portanto, a utilização das regras, vamo
seguir o roteiro:
1- Entender o significado de cada uma das regras
R1, R2, ..., R9;
2- Entender como as regras R1, R2, ..., R9 são selecion
aplicadas nas fórmulas da Lógica Proposicional;

Lógica Proposicional
 TABLEAUX SEMÂNTICOS

3- Dada uma fórmula H, ou um conjunto de

fórmulas, entender como construir um tableau
semântico a partir de H, ou de um conjunto de
fórmulas;
4- Analisar o tableau semântico obtido e entender
como se podem deduzir propriedades semântica
a partir de tableau.

Lógica Proposicional 9
 TABLEAUX SEMÂNTICOS
O significado das regras dos tableaux semântico
A ferramenta básica do desenvolvimento dos tableau
semânticos é o conjunto de regras.

§ O significado da regra R1.

Dada a fórmula AÙB, deduzimos as fórmulas A e B
O significado da regra R2
Dado a fórmula AÚB, deduzimos as fórmulas A ou B.

Lógica Proposicional 10
TABLEAUX SEMÂNTICOS
O significado da regra R3
Dado a fórmula A®B, deduzimos as fórmulas ¬A ou
O significado da regra R4
Dado a fórmula A«B, deduzimos as fórmulas AÙB ou
¬A Ù¬B
O significado da regra R5.
Dada a fórmula ¬¬A, deduzimos a fórmula A

Lógica Proposicional 11
 TABLEAUX SEMÂNTICOS
O significado da regra R6.
Dada a fórmula ¬( AÙB), deduzimos as fórmulas ¬A
O significado da regra R7.
Dada a fórmula ¬( AÚB), deduzimos as fórmulas ¬A
O significado da regra R8.
Dada a fórmula ¬( A®B), deduzimos as fórmulas A
O significado da regra R9.
Dada a fórmula ¬( A«B), deduzimos as fórmulas ¬A
AÙ¬B

Lógica Proposicional 12
 TABLEAUX SEMÂNTICOS
Aplicando as regras do tableau semântico.
A partir de uma ou mais proposições começamos a ap
as regras estudadas para montar o tableau semântico
montagem da árvore, surge logo duas dúvidas:
1- Dada uma fórmula H, qual a regra para ser aplicada
H?
2- Dada a fórmula H, como aplicar a regra adequada?

Lógica Proposicional

13
 TABLEAUX SEMÂNTICOS
Vamos ver a primeira questão. Dada uma fórmula

consulta-se a lista de regras para identificar qual

derivação será utilizada e a sugestão de boa práti

para a montagem da árvore que é a de começar

derivações que não bifurcam a árvore.

Lógica Proposicional 14
 TABLEAUX SEMÂNTICOS

Exemplo: Este exemplo mostra como selecionar e

aplicar a regra R1.
Considere a fórmula H1 tal que :
H1=¬¬PÙ(QÚ(R®(S«P)))
Observe que H1 é uma fórmula do tipo AÙB,
então aplica-se a regra R1 e escrevemos a árvore.
1- ¬¬PÙ(QÚ(R®(S«P))) H1
2- ¬¬P R1 ,1
3- (QÚ(R®(S«P))) R1 ,1
Lógica Proposicionalo 15
TABLEAUX SEMÂNTICOS
Exemplo. Aplicação de R2. Considere a fórmula
H2= (¬¬PÙQ) Ú(R®(S«P))
1- (¬¬PÙQ) Ú(R®(S«P)) H2

2- (¬¬PÙQ) (R®(S«P)) R2, 1

Lógica Proposicional 16
 TABLEAUX SEMÂNTICOS

§ Exemplo. Aplicação de R3. Considere a fórmula

H3=((¬ ¬PÙQ)ÚR)®(S«P)
1- ((¬ ¬PÙQ)ÚR)®(S«P) H3

2- ¬(((¬ ¬PÙQ)ÚR)) (S«P) R3, 1

Exemplo: Construção de tableau semântico.
Considere a fórmula H
tal que: H= ¬ ¬(((P®Q)Ù ¬ (P«Q))Ù ¬ ¬P)

Lógica Proposicional 17
 TABLEAUX SEMÂNTICOS

§ Heurística de Aplicação de Regras.

Aplique preferencialmente as regras R1, R5, R7 e R8, q
não bifurcam o tableau.
Construção de um Tableau Semântico.
Definição: Um tableau semântico na Lógica Proposic
é construído como segue: Seja {A1, A2, ..., An} um
conjunto de fórmulas.
- A árvore T1 a seguir, com apenas um ramo, é um tab
associado a a {A1, A2, ..., An}.
Lógica Proposicional 18
TABLEAUX SEMÂNTICOS

1. A1
2. A2
3. A3
. .
. .
. .
n. An
Construção tableau

Lógica Proposicional 19
 TABLEAUX SEMÂNTICOS

§ Se T2 é a árvore resultante da aplicação de uma da

regras R1,...,R9 à árvore T1, então T2 é também um

tableau associado a {A1, ..., An}. Seguindo esse

procedimento, expandimos o tableau iniciado com

{A1, ..., An}.

Lógica Proposicional 20
TABLEAUX SEMÂNTICOS

§ Seja Ti , i ³ 2, um tableau iniciado com {A1,...,An}.

Se Ti+1 é a árvore resultante da aplicação de uma

das regras R1,...,R9 à árvore Ti então Ti+1 é também

um tableau iniciado com {A1, ..., An}.

Lógica Proposicional 21
 TABLEAUX SEMÂNTICOS

Exemplo: Construção de tableau semântico.

Considere a fórmula H
tal que: H= ¬ ¬(((P®Q)Ù ¬ (P«Q))Ù ¬ ¬P)
1- ¬ ¬(((P®Q)Ù ¬ (P«Q))Ù ¬ ¬P) H
2- (((P®Q)Ù ¬ (P«Q))Ù ¬ ¬P) R5, 1
3- ¬ ¬P R1,2
4- ((P®Q)Ù ¬ (P«Q)) R1,2
5- P R5,3
6- P®Q R1,4
7-¬ (P«Q) Lógica Proposicional R1,4
22
TABLEAUX SEMÂNTICOS

8- ¬P Q R3, 6

9- ¬PÙQ P Ù ¬Q R9,7
10- ¬P P R1,9
11- Q ¬Q R1,9

Lógica Proposicional 23
 TABLEAUX SEMÂNTICOS

1 Exemplo: Considere o conjunto de fórmulas {A®B,

¬(AÚB), ¬(C®A)}
1. A®B 6. C R8,3
2. ¬(AÚB) 7. ¬A R8,3
3. ¬(C®A)
4. ¬A R7,2 8. ¬A B R3,1
5. ¬B R7,2

24
Lógica Proposicional
 TABLEAUX SEMÂNTICOS

O tableau resultante, contém dois ramos. Nesse ca

o ramo à direita contém as fórmulas ¬B e B. O ram

à esquerda não contém fórmula juntamente com su

negação. Essa é uma propriedade importante a ser

identificada nos ramos de um tableau.

Lógica Proposicional 25
 TABLEAUX SEMÂNTICOS

RAMO.
Definição: Em um tableau semântico, um ramo
corresponde a um ramo da árvore que descreve
o tableau.
RAMO FECHADO.
Definição: Em um tableau semântico, um ramo é
fechado se ele contém uma fórmula fechada H e
sua negação ¬H.

Lógica Proposicional 26
 TABLEAUX SEMÂNTICOS

RAMO SATURADO
Definição: Em um tableau semântico, um ramo é
saturado se para toda fórmula H, do ramo:
1- Já foi aplicada alguma regra à fórmula H, ou
seja: H já foi expandida por alguma regra, ou
2- não é possível aplicar nenhuma regra à fórmula
H, isto é, H é igual a um literal e não é possível
expandi-la por alguma regra.

Lógica Proposicional 27
TABLEAUX SEMÂNTICOS

RAMO ABERTO
Definição: Em um tableau semântico, um ramo é
aberto se ele é saturado e não é fechado.

TABLEAU FECHADO
Definição: Um tableau semântico é fechado
quando os seus ramos são fechados.

Lógica Proposicional 28
 TABLEAUX SEMÂNTICOS

TABLEAU ABERTO
Definição: Um tableau semântico é aberto se
possui algum ramo aberto.
Exemplo: Considere a fórmula:
H=((PÙQ)®R)Ù((PÙQ)Ù¬R)
1- ((PÙQ)®R)Ù((PÙQ)Ù¬R) H
2- (PÙQ)®R R1,1
3- (PÙQ)Ù¬R R1,1

Lógica Proposicional 29
TABLEAUX SEMÂNTICOS

3- (PÙQ) R1,3
4- ¬R R1,3

5- ¬(P ÙQ) R R3, 2

fechado fechado
Como todos os ramos estão fechados o tableau
é fechado

Lógica Proposicional 30
 TABLEAUX SEMÂNTICOS
TEOREMA DA CORREÇÃO
Dada uma fórmula H, da Lógica Proposicional;
se existe um tableau semântico fechado
associado a ¬H, então H é uma tautologia.
§ PROVA E TEOREMA
Definição: Seja H uma fórmula. Um prova de H,
no sistema é um tableau fechado associado a
uma fórmula ¬H.
Nesse caso, H é um teorema do sistema de tableaux
semânticos.
Lógica Proposicional 31
 TABLEAUX SEMÂNTICOS

TEOREMA DA COMPLETUDE
Seja H uma fórmula da Lógica Proposicional. Se
H é uma tautologia, então existe uma prova de H
no sistema de tableaux semânticos.

Exemplo: Considere as fórmulas

H=¬((P®Q)Ù¬(P«Q)Ù¬¬P) e G=( (P«Q)Ú¬P)

Lógica Proposicional 32
 TABLEAUX SEMÂNTICOS

§ CONSEQUÊNCIA LÓGICA EM TABLEAUX

SEMÂNTICOS
Definição: Dada uma fórmula H e um conjunto

de hipóteses b={A1, A2, ..., An }, então H é uma

consequência lógica de b, se existe uma prova

de (A1Ù A2Ù ... Ù An)®H

Lógica Proposicional 33
 TABLEAUX SEMÂNTICOS

Notação: Dada uma fórmula H, se H é

consequência lógica de um conjunto de hipóteses

b ={A1, A2, ..., An } no sistema, então esse fato é

indicado pela notação: b |¾ H ou

{A1, A2, ..., An } |¾ H

Lógica Proposicional 34
 TABLEAUX SEMÂNTICOS

§ ALGORITMO DA PROVA POR TABLEAUX

SEMÃNTICOS
Processo para se provar uma fórmula G, dado,
b={A1, A2 ,...,An}
1- Produzir fórmulas H=(A1Ù A2 Ù...ÙAn)®G
2- Negar: ¬H
3- Obter o tableau semântico a partir de ¬H,
aplicando-se as regras R1, ..., R9 .

Lógica Proposicional 35
 TABLEAUX SEMÂNTICOS

4- Caso o tableau seja fechado(isto é, todos os

seus ramos são fechados, a prova foi concluída.
Exemplo: Considere o seguinte argumento.
Se o programa é eficiente, ele executará
rapidamente. O programa é eficiente ou tem um
erro. O programa não executa rapidamente.
Portanto, o programa tem um erro.

Lógica Proposicional 36
 TABLEAUX SEMÂNTICOS

Simbolizar:
P: o programa é eficiente
Q: o programa executa rápido
R: o programa tem erro
Temos então, na linguagem simbólica, as premissas
P®Q, PÚR, ¬Q |¾ e conclusão R ,ou seja
P®Q, PÚR, ¬Q |¾R
H= ((P ®Q)Ù (PÚR)Ù ¬Q)®R
1 - ¬(((P ®Q)Ù (PÚR)Ù ¬Q)®R) ¬H
Lógica Proposicional 37
TABLEAUX SEMÂNTICOS

2 - ((P ®Q)Ù (PÚR)Ù ¬Q) R8, 1

3 - ¬R R8, 1
4 - P ®Q R1, 2
5 - PÚR R1, 2
6 - ¬Q R1, 2

7– P R R2,5
fechado
8 – ¬P Q R3, 4
fech fech Lógica Proposicional 38
 TABLEAUX SEMÂNTICOS

§ Como todos os ramos da árvore são fechados o

tableau semântico é fechado.
§ Exemplo:
§ Se Guga joga uma partida de tênis, a torcida
comparece se o ingresso é barato.
Se Guga joga uma partida de tênis, o ingresso é
barato. Logo, se Guga joga uma partida de tênis,
a torcida comparece.

Lógica Proposicional 39
 TABLEAUX SEMÂNTICOS

Simbolização:
P: Guga joga uma partida de tênis; Q: A torcida
Q: A torcida comparece e
R: O ingresso é barato.
§ O argumento é traduzido para a Lógica
Proposicional como:
b={ P®(R®Q), P®R} e H=P®Q
b |¾ H ou ((P®(R®Q))Ù (P®R))®(P ®Q)
G= ((P®(R®Q))Ù (P®R))®(P ®Q)
Lógica Proposicional 40
 TABLEAUX SEMÂNTICOS

§ Provar que G é ou não tautologia

1. ¬(((P®(R®Q))Ù (P®R))®(P ®Q)) ¬G

2. (P®(R®Q))Ù (P®R) R8, 1
3. ¬ (P ®Q) R8, 1
4. P®(R®Q) R1, 2
5. P®R R1, 2
6. P R 8, 3

Lógica Proposicional 41
 TABLEAUX SEMÂNTICOS
7. ¬Q R8, 3

8.¬P R®Q R3, 4

fechado
9. ¬R Q fechado R3 , 8

10. ¬P R R3, 9
fechado fechado

Lógica Proposicional
42
 TABLEAUX SEMÂNTICOS

§ CONJUNTO NÃO-SATISFATÍVEL.
§ Como provar que um conjunto de fórmulas é
§ insatisfatível?
§ Exemplo: Mostre, utilizando o tableaux semânticos,
que o conjunto de fórmulas a seguir não é satisfatíve
b={ ¬AÚB, ¬(B Ú ¬C), C®D, ¬(¬AÚD)}
b é insatisfatível se e somente se não existe I tal que
I[(¬AÚB)]=I[¬(B Ú ¬C)]=I[(C®D)]=I[¬(¬AÚD)]=V

Lógica Proposicional 43
 TABLEAUX SEMÂNTICOS

"I, I[(¬AÚB)Ù¬(B Ú ¬C)Ù(C®D)Ù¬(¬AÚD)]=F

"I, I[¬((¬AÚB)Ù¬(B Ú ¬C)Ù(C®D)Ù¬(¬AÚD))]=V

Portanto, para provar que b é insatisfatível.

Prove que ¬((¬AÚB)Ù¬(B Ú ¬C)Ù(C®D)Ù¬(¬AÚD
é tautologia. Logo,
H= ¬((¬AÚB)Ù¬(B Ú ¬C)Ù(C®D)Ù¬(¬AÚD))

Lógica Proposicional 44
TABLEAUX SEMÂNTICOS

1. ¬ ¬((¬AÚB)Ù¬(B Ú ¬C)Ù(C®D)Ù¬(¬AÚD)) ¬H
2. (¬AÚB)Ù¬(B Ú ¬C)Ù(C®D)Ù¬(¬AÚD) R5, 1
3. ¬AÚB R 1, 2
4. ¬(B Ú ¬C) R1, 2
5. C®D R1, 2
6. ¬(¬AÚD) R1, 2
7. ¬B R7, 4
8. ¬¬C R7, 4

Lógica Proposicional 45
 TABLEAUX SEMÂNTICOS
9. ¬¬A R7, 6
10. ¬D R7, 6
11. C R 5, 8
12. A R 5, 9

13. ¬A B fechado
fechado Tableau semântico fechado. H é
tautologia e b é insatisfatível

Lógica Proposicional 46
 TABLEAUX SEMÂNTICOS

Exercícios.
1- Construa o tableau semântico para o conjunto
de fórmulas.
a) {¬(P®Q), ¬PÚQ}
b) {P®Q, PÚQ, ¬Q}
c) {P®Q, ¬(QÚ¬R), R®S, SÙP}
d) {P®Q, (PÙR)®(PÙQÙR), (QÚRÚS)}

Lógica Proposicional 47
2- Mostre que a fórmula G=((A«B)Ú¬A) não é
tautologia.
3- Demonstre usando o tableaux semânticos que
o conjunto de fórmulas abaixo é insatisfatível.
b={¬PÚQ, ¬(QÚ¬R), ¬(¬PÚS)}

Lógica Proposicional 48
 TABLEAUX SEMÂNTICOS

4- Demonstre se os argumentos seguintes são

válidos, usando tableaux semânticos.
a) Se Talita conseguir arranjar um carro
emprestado e for pela auto-estrada, então
chegará antes de terminar o prazo. Talita
chegará antes de terminar o prozo. Logo,
se Talita consegue arranjar um carro emprestado
então vai pela auto-estrada.

Lógica Proposicional 49
 TABLEAUX SEMÂNTICOS

b) Se Paulo se retira da reunião então Basílio será

nomeado ou Clara ficará desapontada. Basílio
não será nomeado. Logo, se Paulo se retira da
reunião então Clara ficará desapontada.
c) Se Gerson não está em condições então Bira
será zagueiro de área ou Miguel será o zagueiro
de área. Bira não é zagueiro de área. Logo, se
Miguel não é o zagueiro de área então Gerson
está em condições.
Lógica Proposicional
50
 TABLEAUX SEMÂNTICOS

d) Gabriel estuda ou não está cansado. Se Gabriel

estuda, então dorme tarde. Gabriel não dorme
tarde ou está cansado. Portanto, Gabriel está
cansado se e somente se estuda.
e) Se as uvas caem, então, a raposa as come.
Se a raposa as come, então, estão maduras.

Lógica Proposicional 51
 TABLEAUX SEMÂNTICOS

As uvas estão verdes ou caem. Logo, a raposa

come as uvas se e somente se as uvas caem.
f) Se Deus existe, então, a vida tem significado.
Deus existe. Portanto, a vida tem significado.

Lógica Proposicional 52