Pular para o conteúdo

KGKherian Gracher

Publicações Projetos Mídia

Árvores Lógicas Dedução Natural Tabelas de Verdade Análise Formal Comparador de Sistemas Lógicos

PT/EN

Menu

Ensino Área do Aluno

Pesquisa Sistemas KG

Publicações Projetos Mídia

Ferramentas Árvores Lógicas Dedução Natural Tabelas de Verdade Análise Formal Comparador de Sistemas Lógicos

← Ferramentas

Validade · motores formais

Comparador de Sistemas Lógicos

Compare a validade de uma fórmula usando os motores formais disponíveis.

Idioma

FórmulaLinguagem da fórmula

A linguagem selecionada fixa a leitura da entrada. Sistemas incompatíveis são identificados individualmente. Não há ranking de lógicas.

Até 2.048 caracteres, 256 nós e 64 níveis. Cotas dos motores e limite de 3 segundos por sistema podem produzir resultado não determinado.

Buscar sistemaFamília

4 / 41

CPLLógica proposicional clássicaFOLLógica clássica de primeira ordemFOL=Primeira ordem com identidadePFLLógica livre positivaNFLLógica livre negativaNeutral FLLógica livre neutraKGmSistema KGmKGpSistema KGpKGqSistema KGqKGcSistema KGcK3Lógica forte de KleeneLPLogic of ParadoxFDEFirst-Degree EntailmentB3Lógica interna de BochvarPWKParaconsistent Weak KleeneŁn (n=3)Lógicas finitas de ŁukasiewiczGn (n=3)Lógicas finitas de GödelPn (n=3)Lógicas de PostRM3Relevant Modus PonensJ3Lógica J3 / LFI1mbCLógica básica da inconsistência formalmCiLógica mCiCn (n=3)Hierarquia de da CostaKLógica modal KDLógica modal DTLógica modal TBLógica modal BK4Lógica modal K4K5Lógica modal K5K45Lógica modal K45KD4Lógica modal KD4KD5Lógica modal KD5KD45Lógica modal KD45S4Lógica modal S4S5Lógica modal S5S4.2Lógica modal S4.2S4.3Lógica modal S4.3GLLógica modal GLKₙLógica modal normal multimodalS5ₙLógica epistêmica multiagente S5ₙKD45ₙLógica doxástica multiagente KD45ₙ

66 registros no catálogo; 41 com motores; 25 documentais fora da seleção. Famílias parametrizadas: Ł3, G3, P3 e C3.

Insira uma fórmula e selecione os sistemas que deseja comparar.

Cálculo local, sem IA e sem armazenamento das consultas ou seleções.

∴

Filosofia, Lógica e Educação
em diálogo com o mundo.

Perfis acadêmicos

Currículo Lattes ↗Portal UFPI ↗LinkedIn ↗

Contato

kherian@ufpi.edu.br

Floriano, Piauí · Brasil

© 2026 Kherian GracherProfessor · Pesquisador · Filosofia & Lógica

Comparador de Sistemas Lógicos · Kherian Gracher