Deductions

控除学生は正式なロジックで証明を学ぶのを助けるように設計された教育ソフトウェアです。これは、インストラクターや哲学、数学とコンピュータサイエンスの大学レベルのロジックコースの学生によって使用されることを意図して。それは、証拠の各段階で即座にフィードバックを与える証明を完了する方法についてのヒントを提供し、説明し、ロジックのいくつかの困難な概念を見直すビデオチュートリアルのセットが付属しています。ルールはルールと戦略について証拠の真ん中、および不確実性に立ち往生、正しく適用されているかどうかわからない：控除証明形式論理のコースの中で最も困難な部品を作る三つの問題を解決することを目的とする。控除は、エラーのフラグを立てる証明を完了する方法についての提案をするためのヒントエンジンを含む、と複雑なルールを通じて学生を支援するために、マルチメディアチュートリアルを持っていることによって、これらの問題に対処。ハイライトの特長：1。教科書：控除は、次の教科書とシームレスに動作するように設計されては、（i）（バーグマン、ムーア、およびネルソンによる）ロジックブック、（ポール·テラーによる）（ii）の現代形式論理プライマー、（IIIトニー·ロイによる数理論理への）深刻な紹介（）。 2.フラグ付けエラー - とすぐに、発生した証明で控除フラグエラー。学生は最初の証明を学んでいるとき、控除が間違ったルールを学ぶの学生を防ぐため、これは重要です。 3.ヒントエンジン - 控除証明を完了する方法についてのヒントを提供します。学生は証明の途中で立ち往生した場合、控除は進歩を作る方法を示唆している。 4.マルチメディアチュートリアル - 控除つのグループに分け、マルチメディアチュートリアルのセットが付属しています：ロジックを学ぶために控除を使用する方法、そしてどのようにロジック·ルールを使用する。 5.柔軟性 - 控除は、多くの異なる論理システムと教科書で動作するように設計されている。標準および代替両方のシンボルを個別オン·オフすることができる規則と同様に、含まれている。 6.モダンデザイン - 控除現代的なインターフェイスを提供します。 （多くのロジックプログラムは、DOS、Windowsの9Xのために書かれた、または基本的なJavaアプレットであるアール）近年、多くの更新を見ていないフィールドに新しいエントリとして、控除は、クリーンなユーザー·インターフェースを提供するためには、Mac OS Xの技術を活用し、ドラッグ＆ドロップのサポート、および総合的なヘルプシステム。 7.紙よりも効率的 - 控除ラインは、追加、削除または移動したときに自動的に証明を調整することにより、編集内容の面倒を見る。

のこのリリースのの新機能は次のとおりです。

• ロジック予約PD +のルールシステムのサポートが追加されました
  
• アクセはじめにND +のルールシステムのサポートが追加されました
  
• このテキストフ​​ァイルに控除をエクスポートする機能を追加しました
  
• はLaTeXのスニペットに控除をエクスポートする機能を追加しました。

の制限事項の

のみ控除ルール以下の試用版で利用可能です：前提、仮定、繰り返し、接続詞はじめ、接続詞撤廃、条件付きはじめに、条件付き撤廃、チルダはじめに、チルダ撤廃ます。