演绎证明
网友科普
演绎证明是归纳证明的对称，即运用演绎推理所作的证明。其论据为一般性知识，通过逻辑推导得出具体结论，论题属于该一般性知识范畴内的特定判断。传统上属于数学领域，后扩展至法学领域。该证明以普遍性原理为基础，遵循从一般到特殊的推理过程。典型应用包括以"一切科学都是有用的"证明"逻辑学是有用的"的经典演绎，阿罗不可能性定理通过数理逻辑推导揭示民主选举悖论，以及人工智能领域运用自然演绎系统结合量词处理等技术实现自动证明。其起源可追溯至斯宾诺莎在《伦理学》中构建包含27个界说、22个公则的哲学体系。现代应用中，甘筱青团队采用演绎体系重构《论语》等先秦典籍，李大法、贾培发则在第四届中国人工智能联合学术会议提出...
问AI百科
百科AI智能，探索更多与"演绎证明"相关的知识