![](/statics/img/blank.png)
Natural Deduction 1.5
ライセンス: 無料 ファイルサイズ: 1.15 MB
ユーザー評価: 0.0/5 - 0 投票
お待ちください。。。ダウンロードリンクが悪意のあるコンテンツの確認中です。
5秒でダウンロードできます。
5秒でダウンロードできます。
に関しては Natural Deduction
このアプリで遊んで、自然控除スタイルでいくつかの証明を構築します。 数式をクリックすると、数式が自動的に展開され、ルールが適用されます。 仮定は青で印刷されます。選択したサブツリーの 1 つを選択すると、新しいサブツリーが生成されます。 2本の木をアタッチするには、最初の木のルートを2番目の木の葉にドラッグします。 可能性が 1 つしかない場合、この添付ファイルは自動的に実行されます。 証拠は、ツリーが赤い長方形で囲まれているときに行われます。
楽しんでください!ロジックは楽しいです