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
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
ResponderEliminarCaro Matheus,
ResponderEliminarObrigado por lembrar pois é uma boa referência.
Abraço