07 2025 档案

蕴含定理的逻辑基础
摘要：逻辑是研究推理规则的学问, [对偶原理和蕴含定理](https://blog.csdn.net/qq_26074053/article/details/149341925) 是 **推理代数化** 的两个关键定理。 数学主要建立在严密的**谓词逻辑**之上，它用符号表达对象与关系，再以形式推理导出结 阅读全文
posted @ 2025-07-28 16:41 minglie 阅读(20) 评论(0) 推荐(0)