2025年8月31日
【大二病也要学离散！】第十九章 一阶逻辑等值演算与推理
摘要： 数理逻辑五部曲之五，一阶逻辑等值演算与推理. 19.1 一阶逻辑等值式与置换规则 注意:有的命题可以有不同的符号化形式. 设\(A,B\)是一阶逻辑中任意两个公式，若\(A \leftrightarrow B\)是永真式，则称\(A\)与\(B\)等值，记作\(A \Leftrightarrow B 阅读全文
posted @ 2025-08-31 17:34 elainafan 阅读(34) 评论(0) 推荐(0)