演繹定理

3行要約

1. 前提から結論を導くことと、含意式が成立することの同値性を示す定理。
2. 前提 A から B が証明できるなら、「A ならば B」が証明可能であることを意味する。
3. 数学的証明の構成において、仮定を導入する手続きを正当化する基本原理である。