método arvore semântica - ppgsc.ufrn.brrogerio/.../fmc20121t2_arvores_semanticas.pdf · método...
TRANSCRIPT
![Page 1: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/1.jpg)
Método arvore semântica
Alunos: Cláudio Moisés Carlos Dória David Cláudio Neymar
![Page 2: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/2.jpg)
Método arvore semântica
Já teve varios nomes
Semantic Tableaux Semantic Tableau Semantic trees Usa-se hoje habitualmente o termo “logic trees” ou “tree proofs”
![Page 3: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/3.jpg)
Método arvore semântica
Basicamente a decomposiçao de uma fórmula em várias sub-fórmulas, colocando-as numa árvore binária afim de testar sua consistência
Um conhecido substituto superior do metodo “tabela-verdade”
![Page 4: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/4.jpg)
Método arvore semantica
É um metodo automático de avaliação
Muito usado caso queira confirmar que a afirmação é uma tautologia
A essência do metódo é basicamente achar “contra-exemplos” que geralmente se manifestam como absurdos lógicos
![Page 5: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/5.jpg)
Uso Casual
Na vida quotidiana usamos por vezes variações desta forma de argumentação. Por exemplo, uma pessoa afirma algo. Nós queremos mostrar o contrário. E o que fazemos? Aceitamos a sua afirmação, e mostramos que dela se segue uma inconsistência qualquer
![Page 6: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/6.jpg)
Uso Casual
— Nada existe. —tens a certeza? Admitamos que nada existe. Nesse caso, nada disseste mesmo agora. Mas é óbvio que admites que disseste algo mesmo agora. Portanto, se nada existe, segue-se que disseste e não disseste algo mesmo tempo. Mas isto é absurdo. Logo, é falso que nada exista.
![Page 7: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/7.jpg)
Absurdo Lógico
Numa árvore semantica, um absurdo logico se manifesta como um “Ramo terminal”
Um Ramo terminal ocorre quando a expressão “A” tem a sua propia negaçao “¬A”
Para qualquer outro caso, damos o nome de “Ramo aberto”
![Page 8: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/8.jpg)
Método árvore semântica
Um exemplo de fácil entendimento do seu uso seria a prova de uma tautologia da expressão “A”
Montando a arvore com a expressão “¬A” e chegando a apenas galhos fechados(Contradições) provamos que não existe interpretaçao em que “A” é falsa
![Page 9: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/9.jpg)
Construção
representam graficamente as disjunções e as conjunções. E é por isso que dão origem a coisas parecidas com árvores.
![Page 10: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/10.jpg)
Construção
![Page 11: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/11.jpg)
Construção
Por exemplo, a simplificação da forma lógica P → Q é ¬P v Q, mas representaremos isso graficamente fazendo dois ramos:
![Page 12: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/12.jpg)
Construção
Façamos agora uma árvore que demonstra a validade do modus ponens:
P → Q P Então Q
![Page 13: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/13.jpg)
Construção
Começamos por juntar a negação da conclusão às premissas, e depois simplificamos a única forma complexa que temos:
![Page 14: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/14.jpg)
Construção
Como todos os ramos fecharam(contradiçao), temos que a afirmativa original é uma tautologia
Utilizando o esquema contrário(partindo de uma afirmação mentirosa) podemos provar que sua negação e verdadeira, oferecendo um contra-exemplo válido
![Page 15: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/15.jpg)
Construção
P → Q Q Então P
![Page 16: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/16.jpg)
Outras simplificações usuais
![Page 17: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/17.jpg)
Metodo da arvore semantica
Neste metodo a validade de uma formula e determinada a partir deuma arvore.
Uma arvore e um conjunto de nos ou vertices ligados por arestas.
Na figura abaixo os nos estao rotulados por numeros inteiros. Osnos 2, 6, 7 e 5 sao denominados folhas e o no 1 e a raiz da arvore.
8 / 25
![Page 18: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/18.jpg)
Exemplo: lei da contraposicao
Exemplo 3: lei da contraposicao
A formulaH = (P → Q) ↔ (¬Q → ¬P)
e uma tautologia.
No2 = (P → Q) ↔ (¬Q → ¬P)T TT FT
No3 = (P → Q) ↔ (¬Q → ¬P)F FF TFF T T TFF T T T TF
9 / 25
![Page 19: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/19.jpg)
Exemplo: lei da contraposicao
Exemplo 3: lei da contraposicao
A formulaH = (P → Q) ↔ (¬Q → ¬P)
e uma tautologia.
No2 = (P → Q) ↔ (¬Q → ¬P)T TT FT
No3 = (P → Q) ↔ (¬Q → ¬P)F FF TFF T T TFF T T T TF
9 / 25
![Page 20: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/20.jpg)
Exemplo: lei da contraposicao
Exemplo 3: lei da contraposicao
A formulaH = (P → Q) ↔ (¬Q → ¬P)
e uma tautologia.
No2 = (P → Q) ↔ (¬Q → ¬P)
T TT FT
No3 = (P → Q) ↔ (¬Q → ¬P)F FF TFF T T TFF T T T TF
9 / 25
![Page 21: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/21.jpg)
Exemplo: lei da contraposicao
Exemplo 3: lei da contraposicao
A formulaH = (P → Q) ↔ (¬Q → ¬P)
e uma tautologia.
No2 = (P → Q) ↔ (¬Q → ¬P)T T
T FTNo3 = (P → Q) ↔ (¬Q → ¬P)
F FF TFF T T TFF T T T TF
9 / 25
![Page 22: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/22.jpg)
Exemplo: lei da contraposicao
Exemplo 3: lei da contraposicao
A formulaH = (P → Q) ↔ (¬Q → ¬P)
e uma tautologia.
No2 = (P → Q) ↔ (¬Q → ¬P)T TT FT
No3 = (P → Q) ↔ (¬Q → ¬P)F FF TFF T T TFF T T T TF
9 / 25
![Page 23: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/23.jpg)
Exemplo: lei da contraposicao
Exemplo 3: lei da contraposicao
A formulaH = (P → Q) ↔ (¬Q → ¬P)
e uma tautologia.
No2 = (P → Q) ↔ (¬Q → ¬P)T TT FT
No3 = (P → Q) ↔ (¬Q → ¬P)
F FF TFF T T TFF T T T TF
9 / 25
![Page 24: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/24.jpg)
Exemplo: lei da contraposicao
Exemplo 3: lei da contraposicao
A formulaH = (P → Q) ↔ (¬Q → ¬P)
e uma tautologia.
No2 = (P → Q) ↔ (¬Q → ¬P)T TT FT
No3 = (P → Q) ↔ (¬Q → ¬P)F F
F TFF T T TFF T T T TF
9 / 25
![Page 25: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/25.jpg)
Exemplo: lei da contraposicao
Exemplo 3: lei da contraposicao
A formulaH = (P → Q) ↔ (¬Q → ¬P)
e uma tautologia.
No2 = (P → Q) ↔ (¬Q → ¬P)T TT FT
No3 = (P → Q) ↔ (¬Q → ¬P)F FF TF
F T T TFF T T T TF
9 / 25
![Page 26: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/26.jpg)
Exemplo: lei da contraposicao
Exemplo 3: lei da contraposicao
A formulaH = (P → Q) ↔ (¬Q → ¬P)
e uma tautologia.
No2 = (P → Q) ↔ (¬Q → ¬P)T TT FT
No3 = (P → Q) ↔ (¬Q → ¬P)F FF TFF T T TF
F T T T TF
9 / 25
![Page 27: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/27.jpg)
Exemplo: lei da contraposicao
Exemplo 3: lei da contraposicao
A formulaH = (P → Q) ↔ (¬Q → ¬P)
e uma tautologia.
No2 = (P → Q) ↔ (¬Q → ¬P)T TT FT
No3 = (P → Q) ↔ (¬Q → ¬P)F FF TFF T T TFF T T T TF
9 / 25
![Page 28: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/28.jpg)
Exemplo: lei da contraposicao
Exemplo 4: lei da contraposicao
A formulaH = (P → Q) ↔ (¬Q → ¬P)
e uma tautologia.
No2 = (P → Q) ↔ (¬Q → ¬P)T TT FTT FT
No3 = (P → Q) ↔ (¬Q → ¬P)F FF TFF T T TFF T T T TF
10 / 25
![Page 29: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/29.jpg)
Exemplo: lei da contraposicao
Exemplo 4: lei da contraposicao
A formulaH = (P → Q) ↔ (¬Q → ¬P)
e uma tautologia.
No2 = (P → Q) ↔ (¬Q → ¬P)T TT FTT FT
No3 = (P → Q) ↔ (¬Q → ¬P)F FF TFF T T TFF T T T TF
10 / 25
![Page 30: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/30.jpg)
A fórmulaH = (P → Q) ↔ (¬Q → ¬P) é uma tautologia.
No4 = (P → Q) ↔ (¬Q → ¬P)
T T FT FT
![Page 31: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/31.jpg)
A fórmulaH = (P → Q) ↔ (¬Q → ¬P) é uma tautologia.
No4 = (P → Q) ↔ (¬Q → ¬P)
T T FT FT
T T
![Page 32: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/32.jpg)
A fórmulaH = (P → Q) ↔ (¬Q → ¬P) é uma tautologia.
No4 = (P → Q) ↔ (¬Q → ¬P)
T T FT FT
T T
T
![Page 33: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/33.jpg)
A fórmulaH = (P → Q) ↔ (¬Q → ¬P) é uma tautologia.
No4 = (P → Q) ↔ (¬Q → ¬P)
T T FT FT
T T
T
No5 = (P → Q) ↔ (¬Q → ¬P)
T FTTF F
![Page 34: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/34.jpg)
A fórmulaH = (P → Q) ↔ (¬Q → ¬P) é uma tautologia.
No4 = (P → Q) ↔ (¬Q → ¬P)
T T FT FT
T T
T
No5 = (P → Q) ↔ (¬Q → ¬P)
T FTTF F
FTF
![Page 35: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/35.jpg)
A fórmulaH = (P → Q) ↔ (¬Q → ¬P) é uma tautologia.
No4 = (P → Q) ↔ (¬Q → ¬P)
T T FT FT
T T
T
No5 = (P → Q) ↔ (¬Q → ¬P)
T FTTF F
FF
![Page 36: Método arvore semântica - ppgsc.ufrn.brrogerio/.../FMC20121T2_arvores_semanticas.pdf · Método arvore semantica É um metodo automático de avaliação Muito usado caso queira](https://reader030.vdocuments.pub/reader030/viewer/2022021714/5c05c60609d3f29f2f8b9383/html5/thumbnails/36.jpg)
A fórmulaH = (P → Q) ↔ (¬Q → ¬P) é uma tautologia.
No4 = (P → Q) ↔ (¬Q → ¬P)
T T FT FT
T T
T
No5 = (P → Q) ↔ (¬Q → ¬P)
T FTTF F
FF
T