自動証明理論

帰納法による証明

基本ケースに対して性質を確立し、その後継関係による保存を証明する数学的証明技法。この推論の自動化は証明理論における主要な課題を表している。

← 戻る