7 de agosto de 2008

Ferramentas para exercícios de lógica

Ao fazer uma pesquisa no site do Desidério Murcho, encontrei algum software que pode interessar quem quer dar uns passos de lógica. Engracei-me principalmente com o Tree proof generator, um programa que permite testar a validade de argumentos formais. Um óptimo auxiliar para professores prepararem exercícios para as aulas. O Tableau III é um pouco mais elaborado e permite não só conhecer as regras de diferentes níveis de aplicação da lógica bem como construir árvores semânticas. O Tableau III é disponibilizado pela Faculdade de Filosofia da Universidade de Oxford. No site encontrará tutoriais e instruções de uso muito completas. Duas ferramentas a explorar.

Ligações: Tree Proof Generator
Tableau III

2 comentários:

  1. A págnina de João Branquinho http://pwp.netcabo.pt/0154943702/ tb contem alguns links de programas de lógica interessantes. Me diverti com o Logic Coach

    ResponderEliminar
  2. Caro Matheus,
    Obrigado por lembrar pois é uma boa referência.
    Abraço

    ResponderEliminar