Forgik

Forgik è un'app educativa per dimostrare sequenze usando la deduzione naturale.

Forgik è un'applicazione educativa per apprendere e praticare la deduzione naturale.

Usando le regole di inferenza, il tuo obiettivo è dimostrare una conclusione assumendo premesse multiple.

Forgik utilizza un insieme specifico di regole di inferenza, inclusa la legge del mezzo escluso.

Questo insieme di regole si chiama logica classica e consente prove per contraddizione.

Attualmente, Forgik supporta solo la logica proposizionale.

Ma supporterà presto la logica del primo ordine, che è anche chiamata logica predicata.