会议论文《重言式和矛盾式的代数化证明》发表于2009年全国理论计算机科学学术年会。该文探讨了逻辑命题中的重言式与矛盾式，通过代数方法对其进行形式化证明。作者利用代数结构分析逻辑公式的真值特性，为逻辑推理提供了新的数学工具。文章在理论计算机科学领域具有重要意义，为自动化定理证明和逻辑验证提供了参考依据。
文档为pdf格式，0.3MB，总共5页。
举报
