首页 > 词语百科 > 演绎证明

演绎证明

演绎证明是什么意思的图片

网友科普

演绎证明是归纳证明的对称，即运用演绎推理所作的证明，其论据为一般性知识，通过逻辑推导得出属于该范畴的具体结论。该证明以普遍性原理为基础，遵循从一般到特殊的推理过程，其最基本的要求是前提必须真实。一个典型的例子是以“一切科学都是有用的”来证明“逻辑学是有用的”。其思想可追溯至古希腊数学和斯宾诺莎在《伦理学》中构建的哲学体系，亚里士多德是演绎逻辑的创始人。现代演绎逻辑学在弗雷格等人推动下发展，并在人工智能等领域应用于自动证明技术。
我要报错

问AI百科

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

随便看看

临莅 丹直 丽谯 举措不定 乃者 乐章集 乐队 乖孩子 九僧诗 书空匠

猜你喜欢