1

computacao.saomateus.ufes.brcomputacao.saomateus.ufes.br/sites/computacao.saomateus.ufes.b… · Limitações da lógica de predicados de primeira ordem. Unidade IV - Tableaux Semânticos

  • Upload
    others

  • View
    7

  • Download
    0

Embed Size (px)

Citation preview

Page 1: computacao.saomateus.ufes.brcomputacao.saomateus.ufes.br/sites/computacao.saomateus.ufes.b… · Limitações da lógica de predicados de primeira ordem. Unidade IV - Tableaux Semânticos