Scribd Logo
Fazer o upload

Bem-vindo(a) ao Scribd!

  • Regras Do Tableux

    Enviado por

    Luiz Fernando Soares
    3 visualizações1 página

    Direitos autorais

    © Attribution Non-Commercial (BY-NC)

    Formatos disponíveis

    DOCX, PDF, TXT ou leia online no Scribd

    Você considera este documento útil?

    Este conteúdo é inapropriado?

    Denunciar este documento

    Direitos autorais:

    Attribution Non-Commercial (BY-NC)
    Baixe no formato DOCX, PDF, TXT ou leia online no Scribd
    Sinalizar o conteúdo como inadequado
    3 visualizações1 página

    Regras Do Tableux

    Enviado por

    Luiz Fernando Soares

    Direitos autorais:

    Attribution Non-Commercial (BY-NC)
    Baixe no formato DOCX, PDF, TXT ou leia online no Scribd
    Sinalizar o conteúdo como inadequado
    de 1

    Regras do Tableux rvores de refutao

    Tableaux
    Tipo A (gera descendentes lineares )
    o.| (ov|) (o|) o
    o o o o
    | | |

    Tipo B (gera rvores)

    ov | o | (o.|) (o|)
    o , | o , | o , | o . | , o . |

    Quatificadores
    xPx / Pa, escolher letra que j ocorre no ramo xPx / -x Px
    -xPx / Pb, escolher letra que no ocorre no ramo -xPx / xPx

    Você também pode gostar