論理的推論
論理的推論（ろんりてきすいろん、）は、論理学において演繹、帰納、アブダクション（仮説形成）の 3種類に区別され得る。前提条件 (precondition)、結論 (conclusion)、そして前提条件は結論を含意するという規則 (rule) があるとすると、それら 3種の推論は次の仕方で説明され得る。