Prooftools. Questo progetto fornisce un'applicazione gratuita e cross-platform per generare alberi di prova
Scarica ora

Prooftools. Classifica e riepilogo

Prooftools. Tag

Prooftools. Descrizione

ProofOols è un'applicazione grafica gratuita scritta sia in GTK + e Qt, e progettato per essere utilizzato per la generazione automatica e grafica di tableaux semantici, noto anche come alberi di prova, tableaux analitici o alberi semantici. L'applicazione può essere utilizzata per testare se un argomento o una prova è valida deduttivamente o se una formula è una verità logica. ProofOols è in grado di convalidare una proposta, un predicato e un argomento logico modale o verità logica utilizzando il metodo dell'albero di prova. ProofOols è un'applicazione indipendente da piattaforma che supporta i sistemi operativi Linux, Microsoft Windows e Mac OS X. I binari per GTK e QT sono forniti nella sezione download sopra, supportando sia architetture a 32 bit e 64 bit.

Prooftools. Software correlato