専用このプロジェクトは証明木を生成するための無料でクロスプラットフォームのアプリケーションを提供します | |
今すぐダウンロード |
専用 ランキングとまとめ
広告
専用 タグ
専用 説明
ProoStoolsは、GTK +とQTの両方で書かれた無料のグラフィカルアプリケーションであり、証明ツリー、分析タブラ、またはセマンティックツリーとしても知られています。 アプリケーションは、引数または証明が控除的に有効かどうか、または式が論理的な真実であるかどうかをテストするために使用できます。 ProoStoolsは、証明ツリー方式を使用して命題、述語、およびモーダルロジックの引数または論理的な真理を検証することができます。 ProoStoolsは、Linux、Microsoft Windows、Mac OS Xオペレーティングシステムをサポートするプラットフォームに依存しないアプリケーションです。 GTKおよびQTのバイナリは、上記のダウンロードセクションで、32ビットアーキテクチャと64ビットアーキテクチャの両方をサポートしています。
専用 関連ソフトウェア