Você está na página 1de 36

Mtodo arvore semntica

Alunos: Cludio Moiss Carlos Dria David Cludio Neymar

Mtodo arvore semntica


J

teve varios nomes

Semantic Semantic

Tableaux Tableau Semantic trees Usa-se hoje habitualmente o termo logic trees ou tree proofs

Mtodo arvore semntica


Basicamente

a decomposiao de uma frmula em vrias sub-frmulas, colocando-as numa rvore binria afim de testar sua consistncia conhecido substituto superior do metodo tabela-verdade

Um

Mtodo arvore semantica

um metodo automtico de avaliao usado caso queira confirmar que a afirmao uma tautologia essncia do metdo basicamente achar contra-exemplos que geralmente se manifestam como absurdos lgicos

Muito

Uso Casual
Na

vida quotidiana usamos por vezes variaes desta forma de argumentao. Por exemplo, uma pessoa afirma algo. Ns queremos mostrar o contrrio. E o que fazemos? Aceitamos a sua afirmao, e mostramos que dela se segue uma inconsistncia qualquer

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, seguese que disseste e no disseste algo mesmo tempo. Mas isto absurdo. Logo, falso que nada exista.

Absurdo Lgico
Numa

rvore semantica, um absurdo logico se manifesta como um Ramo terminal Ramo terminal ocorre quando a expresso A tem a sua propia negaao A qualquer outro caso, damos o nome de Ramo aberto

Um

Para

Mtodo rvore semntica


Um

exemplo de fcil entendimento do seu uso seria a prova de uma tautologia da expresso A

Montando a arvore com a expresso A e chegando a apenas galhos fechados(Contradies) provamos que no existe interpretaao em que A falsa

Construo
representam

graficamente as disjunes e as conjunes. E por isso que do origem a coisas parecidas com rvores.

Construo

Construo
Por

exemplo, a simplificao da forma lgica P Q P v Q, mas representaremos isso graficamente fazendo dois ramos:

Construo
Faamos

agora uma rvore que demonstra a validade do modus ponens: P Q P Ento Q

Construo
Comeamos

por juntar a negao da concluso s premissas, e depois simplificamos a nica forma complexa que temos:

Construo
Como

todos os ramos fecharam(contradiao), temos que a afirmativa original uma tautologia o esquema contrrio(partindo de uma afirmao mentirosa) podemos provar que sua negao e verdadeira, oferecendo um contra-exemplo vlido

Utilizando

Construo
P Q Q Ento

Outras simplificaes usuais

M etodo da arvore sem antica

Neste m etodo a validade de uma f ormula e determinada a partir de uma arvore. Uma arvore e um conjunto de n os ou v ertices ligados por arestas. Na gura abaixo os n os est ao rotulados por n umeros inteiros. Os n os 2, 6, 7 e 5 s ao denominados folhas e o n o1 e a raiz da arvore.

8 / 25

Exemplo: lei da contraposi c ao

Exemplo 3: lei da contraposi c ao A f ormula H = (P Q ) (Q P ) e uma tautologia.

9 / 25

Exemplo: lei da contraposi c ao


Exemplo 3: lei da contraposi c ao A f ormula H = (P Q ) (Q P ) e uma tautologia.

9 / 25

Exemplo: lei da contraposi c ao


Exemplo 3: lei da contraposi c ao A f ormula H = (P Q ) (Q P ) e uma tautologia.

No2 = (P Q ) (Q P )

9 / 25

Exemplo: lei da contraposi c ao


Exemplo 3: lei da contraposi c ao A f ormula H = (P Q ) (Q P ) e uma tautologia.

No2 = (P Q ) (Q P ) T T

9 / 25

Exemplo: lei da contraposi c ao


Exemplo 3: lei da contraposi c ao A f ormula H = (P Q ) (Q P ) e uma tautologia.

No2 = (P Q ) (Q P ) T T T FT

9 / 25

Exemplo: lei da contraposi c ao


Exemplo 3: lei da contraposi c ao A f ormula H = (P Q ) (Q P ) e uma tautologia.

No2 = (P Q ) (Q P ) T T T FT No3 = (P Q ) (Q P )

9 / 25

Exemplo: lei da contraposi c ao


Exemplo 3: lei da contraposi c ao A f ormula H = (P Q ) (Q P ) e uma tautologia.

No2 = (P Q ) (Q P ) T T T FT No3 = (P Q ) (Q P ) F F

9 / 25

Exemplo: lei da contraposi c ao


Exemplo 3: lei da contraposi c ao A f ormula H = (P Q ) (Q P ) e uma tautologia.

No2 = (P Q ) (Q P ) T T T FT No3 = (P Q ) (Q P ) F F F TF

9 / 25

Exemplo: lei da contraposi c ao


Exemplo 3: lei da contraposi c ao A f ormula H = (P Q ) (Q P ) e uma tautologia.

No2 = (P Q ) (Q P ) T T T FT No3 = (P Q ) (Q P ) F F F TF FT T TF
9 / 25

Exemplo: lei da contraposi c ao


Exemplo 3: lei da contraposi c ao A f ormula H = (P Q ) (Q P ) e uma tautologia.

No2 = (P Q ) (Q T T No3 = (P Q ) (Q F F FT FT T

P ) T FT P ) F TF T TF T TF
9 / 25

Exemplo: lei da contraposi c ao

Exemplo 4: lei da contraposi c ao A f ormula H = (P Q ) (Q P ) e uma tautologia.

10 / 25

Exemplo: lei da contraposi c ao


Exemplo 4: lei da contraposi c ao A f ormula H = (P Q ) (Q P ) e uma tautologia.

10 / 25

A frmula H = (P Q) (Q P) uma tautologia.

No4 = (P Q) (Q P) T T FT FT

A frmula H = (P Q) (Q P) uma tautologia.

No4 = (P Q) (Q P) T T T FT T FT

A frmula H = (P Q) (Q P) uma tautologia.

No4 = (P Q) (Q P) T T T T FT T FT

A frmula H = (P Q) (Q P) uma tautologia.

No4 = (P Q) (Q P) T T T No5 = (P Q) (Q P) T F TF FT T FT T FT

A frmula H = (P Q) (Q P) uma tautologia.

No4 = (P Q) (Q P) T T T No5 = (P Q) (Q P) T F F TF FT FT T FT T FT

A frmula H = (P Q) (Q P) uma tautologia.

No4 = (P Q) (Q P) T T T No5 = (P Q) (Q P) T F F TF F FT T FT T FT

A frmula H = (P Q) (Q P) uma tautologia.

No4 = (P Q) (Q P) T T T No5 = (P Q) (Q P) T F T F TF F FT T FT T FT