Lógica

Prova de argumentos em lógica proposicional, lógica de primeira ordem e lógica de segunda ordem (predicados quantificáveis) — dedução automática por regras de tableaux (introdução/eliminação de conectivos e quantificadores), rodando inteiramente no navegador.