Proftools Dit project biedt een gratis en cross-platform-applicatie voor het genereren van proefbomen
Download nu

Proftools Rangschikking & Samenvatting

Proftools Tags

Proftools Beschrijving

ProOpools is een gratis grafische applicatie geschreven in zowel GTK + als Qt, en ontworpen om te worden gebruikt voor automatische en grafische generatie van Semantic Tableaux, ook bekend als bewijsbomen, analytische tafels of semantische bomen. De toepassing kan worden gebruikt om te testen of een argument of bewijs is deductief geldig, of of een formule een logische waarheid is. ProOpools kan een propositie, een predikaat en een modaal logisch argument of logische waarheid valideren met behulp van de bewijsboommethode. Prooftools is een platformonafhankelijke toepassing die Linux, Microsoft Windows en Mac OS X-besturingssystemen ondersteunt. Binaries voor GTK en QT worden verstrekt in de downloadsectie hierboven, ondersteunend zowel 32-bits als 64-bits architecturen.

Proftools Gerelateerde software