Tem uma vasta gama de recursos na web para quem quer aprender/estudar lógica. Tenho adiado a tarefa de montar uma lista com tudo o que tem, desde cursos online até tabelas de verdade e tableaux semânticos (uma hora dessas quem sabe?). Essa semana, por meio da dica de um amigo no facebook, passei a conhecer o Modal Logic Playground (para acessar, clique aqui). Simplesmente fantástico! Você basicamente monta modelos, dando valores de verdade para fórmulas atômicas e distribuindo relações de acessibilidade. Depois, você avalia fórmulas complexas com base nessas atribuições.
Mais divertido, menos boring.
