KGKherian Gracher
PTEN
Menu
← Ferramentas

Lógica proposicional clássica

Análise Formal

Verifique validade, satisfatibilidade, equivalência lógica e validade de argumentos na lógica proposicional clássica.

Uma fórmula é válida quando é verdadeira em todas as valorações clássicas.

Conectivos: ¬ ∧ ∨ → ↔. Aliases: ~ & | -> <->.

Até 10 variáveis na união das fórmulas e 64 premissas. Cada fórmula: 2.048 caracteres, 256 nós e 64 níveis. Constantes ⊥/⊤ não são suportadas.

Escolha a operação, preencha os campos e clique em Analisar.

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