会议论文《一阶谓词逻辑的图形推理法》发表于第十四届全国Petri网理论与应用学术年会。该文探讨了如何利用图形化方法进行一阶谓词逻辑的推理，提出了一种直观且高效的逻辑分析方式。通过将逻辑命题转化为图形结构，提升了推理过程的可视化程度，有助于理解和验证复杂逻辑关系。该研究为Petri网理论的应用提供了新的思路，具有重要的理论价值和实际意义。
文档为pdf格式，0.23MB，总共6页。
举报
