命题逻辑公式中的冗余子句及冗余文字 - 中国计算机学会多值逻辑与模糊逻辑专业委员会第十三届学术年会.pdf

论文《命题逻辑公式中的冗余子句及冗余文字》探讨了命题逻辑中冗余子句与冗余文字的识别与消除方法。通过分析逻辑公式的结构，提出了一套判断冗余项的标准和算法，有助于简化逻辑表达式，提高推理效率。该研究为逻辑优化提供了理论支持，对人工智能、自动定理证明等领域具有重要意义。

文档为pdf格式，0.58MB，总共2页。

2025-12-14 16:15 上传 命题逻辑公式中的冗余子句及冗余文字 - 中国计算机学会多值逻辑与模糊逻辑专业委员会第十三届学术年会.pdf

文件大小:

593.92 KB

下载次数:

60

命题逻辑公式中的冗余子句及冗余文字 - 中国计算机学会多值逻辑与模糊逻辑专业委员会第十三届学术年会.pdf ...

高速下载