演绎证明

归纳证明”的对称。运用演绎推理所作的证明。论据是一般性知识，论题是在该一般性知识范围之内的知识或事实。如以一切科学都是有用的”来证明逻辑学是有用的”。

演绎证明是逻辑推理的一种形式，通过从一组前提中推断出结论来证明一个命题。它遵循着严格的逻辑规则，根据已知的前提得出正确的结论。