Lógica · passo a passo

Dedução Natural

Construa seu argumento. Explore regras, abra hipóteses e confira cada passo na mesma interface Fitch.

Sistema: Dedução Natural Proposicional Clássica

Premissas e conclusão

Premissas · uma por linhaConclusãoSem premissas? Deixe o campo ao lado vazio.

Aliases: ~ para ¬, & para ∧, | para ∨, -> para → e <-> para ↔. Use ⊥ isoladamente para contradição.

Cálculo local e determinístico. A prova fica apenas na memória desta página e é perdida ao recarregar ou sair.