演绎证明
演

演绎证明　　　yǎn yì zhèng míng

运用演绎推理进行的证明。论题是个别性知识的判断，论据是普遍性知识的判断，即一般原理。如以“一切科学规律都具有客观性”这个一般原理为论据，来证明“逻辑规律具有客观性”这一论题，就是演绎证明。