Natural Deduction 1.5

ライセンス: 無料 ‎ファイルサイズ: 1.15 MB
‎ユーザー評価: 0.0/5 - ‎0 ‎投票

このアプリで遊んで、自然控除スタイルでいくつかの証明を構築します。 数式をクリックすると、数式が自動的に展開され、ルールが適用されます。 仮定は青で印刷されます。選択したサブツリーの 1 つを選択すると、新しいサブツリーが生成されます。 2本の木をアタッチするには、最初の木のルートを2番目の木の葉にドラッグします。 可能性が 1 つしかない場合、この添付ファイルは自動的に実行されます。 証拠は、ツリーが赤い長方形で囲まれているときに行われます。

楽しんでください!ロジックは楽しいです

バージョン履歴

  • バージョン 1.5 に転記 2015-05-07
    より良い表示

プログラムの詳細