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

出典:wikipedia