現代社会において，論理的思考力は最も重要な能力の1つである．高等学校学習指導要領解説においても，論理的な思考力の育成は重視されており，特に高校の数学教育において数学証明を扱うことが論理的思考力の育成に役立つと述べられている．本稿では，数学の証明論法の中でも背理法と対偶法に絞り，数学的な表現力および構成力の習得を通して，表現力を含む論理的思考力の育成を目指した論理的思考力育成システムを提案する。さらに，Android Tablet上に実装したシステムを用いた評価実験により提案システムの有用性を示す．
