Deductions 1.3

控除学生は正式なロジックで証明を学ぶのを助けるように設計された教育ソフトウェアです。これは、インストラクターや哲学、数学とコンピュータサイエンスの大学レベルのロジックコースの学生によって使用されることを意図して。それは、証拠の各段階で即座にフィードバックを与える証明を完了する方法についてのヒントを提供し、説明し、ロジックのいくつかの困難な概念を見直すビデオチュートリアルのセットが付属しています。ルールはルールと戦略について証拠の真ん中、および不確実性に立ち往生、正しく適用されているかどうかわからない：控除証...