演绎证明

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