Ideias em prática

Logic Lab

Ferramentas que desenvolvo para apoiar o ensino e a pesquisa em Filosofia e Lógica.

66 perfis lógicos

Árvores
Lógicas

Um laboratório compreensivo de tableaux para explorar sistemas clássicos e não clássicos.

Acessar Laboratório de Tableaux Acesso público · não exige conta.

Uma lógica não é todas as lógicas.

Catálogo amplo. 66 perfis entre lógicas clássicas, paraconsistentes, intuicionistas, modais, temporais, condicionais e lógicas de descrição.
Construção visual. Digite fórmulas, acompanhe a decomposição em árvore e consulte o método de tableau adequado ao perfil.
Contexto didático. Cada lógica possui um guia com origem, autores, importância, novidades, aplicações e bibliografia essencial.

Do clássico aos Sistemas KG. O laboratório inclui primeira ordem, famílias multivaloradas, a hierarquia de da Costa, Sistemas KG, o cubo modal, LTL, CTL, PDL e outros cálculos consolidados.

A calculadora especializada dos Sistemas KG permanece na seção Pesquisa; este aplicativo oferece uma visão comparativa e abrangente.

Dedução proposicional clássica

Dedução
Natural

Construa demonstrações em notação Fitch, com subprovas e verificação formal.

Abrir Dedução Natural Acesso público · sem conta.

Seu argumento, passo a passo.

Modos livre e assistido na mesma interface. Você escolhe as regras e as referências; o motor verifica os passos e os escopos.

Copie sua demonstração em Unicode, Markdown, HTML ou LaTeX/Fitch. Cálculo local, sem armazenamento de provas.

Lógica proposicional clássica

Tabelas de
Verdade

Explore todas as valorações de uma fórmula, das variáveis ao resultado.

Abrir Tabelas de Verdade Acesso público · sem conta.

Uma fórmula, todas as possibilidades.

Identifique tautologias, contradições e contingências. Acompanhe as subfórmulas e copie a tabela em LaTeX, Markdown, HTML ou texto.

Cálculo local, sem armazenamento de fórmulas ou resultados.

Lógica proposicional clássica

Análise
Formal

Verifique validade, satisfatibilidade, equivalência lógica e validade de argumentos.

Abrir Análise Formal Acesso público · sem conta.

Resultados e contraexemplos.

Confira valorações que satisfazem uma fórmula ou demonstram por que uma fórmula não é válida, duas fórmulas não são equivalentes ou um argumento é inválido.

O mesmo motor das Tabelas de Verdade, sem IA e sem armazenamento de trabalho.

Motores formais

Comparador de
Sistemas Lógicos

Compare a validade de uma fórmula nos sistemas computacionalmente disponíveis.

Abrir Comparador Acesso público · sem conta.

Um resultado, um procedimento explícito.

Veja o método utilizado e os ramos abertos ou contra-valorações disponíveis. Resultados indeterminados, linguagens incompatíveis e erros são identificados separadamente.

Sem ranking de sistemas, IA ou armazenamento de consultas.

ÁrvoresLógicas