演绎证明

网友科普

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

百科AI智能，探索更多与"演绎证明"相关的知识