7 de agosto de 2008 Blog

Ferramentas para exercícios de lógica

Rolando Almeida
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 :

Matheus Martins Silva disse...

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

Rolando Almeida disse...

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

Arquivo