基本事实定理是逻辑学中的一个基本原理，也称为事实结论规则或夹入规则。

它表明，如果我们有一个前提，即某个陈述为真（称为事实），而这个陈述又可以直接或间接地推导出另一个陈述（称为结论），那么该结论也是真的。基本事实定理可用如下形式表示：如果 A 是真的，而 A 又可以推导出 B，则 B 也是真的。推论是基于已知事实和已证明的命题之间进行逻辑推理的过程。在推论中，通过运用逻辑规则和推理方法，从已知的陈述或命题中推导出新的结论或陈述。推论可以基于多种推理模式，包括演绎推理、归纳推理、假设推理等。其中，演绎推理使用严格的逻辑规则，从已知的陈述中直接推导出结论；归纳推理则基于一组观察到的事实，推导出普遍性的结论；假设推理则根据假设条件进行推理，从假设出发得出结论。推论在数学、逻辑学、科学研究和法律等领域中有广泛的应用，它帮助我们从已知的信息中发现新的信息，推动知识的进一步发展和问题的解决。