推论性定义是一种从一个或多个已知事实中得出结论的方法，通常用于逻辑推理和科学研究中。

在推论性定义中，前提是指已知的事实，而结论是由前提中推断出的未知事实。推论性定义通常使用符号化的形式表达，例如从一个公式中推导出另一个公式。推论性定义在许多领域中都有广泛的应用，包括数学、物理、化学、哲学等。