このアプリで遊んで、自然控除スタイルでいくつかの証明を構築します。 数式をクリックすると、数式が自動的に展開され、ルールが適用されます。 仮定は青で印刷されます。選択したサブツリーの 1 つを選択すると、新しいサブツリーが生成されます。 2本の木をアタッチするには、最初の木のルートを2番目の木の葉にドラッグします。 可能性が 1 つしかない場合、この添付ファイルは自動的に実行されます。 証拠は、ツリーが赤い長方形で囲まれているときに行われます。
楽しんでください!ロジックは楽しいです
バージョン履歴
- バージョン 1.5 に転記 2015-05-07
より良い表示
プログラムの詳細
- カテゴリ: 教育 > 教育とトレーニングツール
- パブリッシャー: Laurent Théry
- ライセンス: 無料
- 価格: N/A
- バージョン: 1.5
- プラットフォーム: android