谓词逻辑推理与机器证明  

Predicate Logic Reasoning and Validation Based on Computer

作　　者：林尚垣[1] 

机构地区：[1]龙岩学院计算机科学系,福建龙岩364000

出　　处：《安庆师范学院学报（自然科学版）》2005年第4期106-108,共3页Journal of Anqing Teachers College(Natural Science Edition)

摘　　要：基于应用层面,探讨谓词逻辑推理规则的逻辑有效性,并透过示例,对一类问题用编程方式实现逻辑推断,以拓宽机器证明的方式方法。The article discusses the logic validity of inference rules in predieat logic related to the applications and illustrates how to realize the logic inference of a class of problems in the way of programming to extend the means of validation based on computer.

关 键 词：谓词逻辑 推理 编程 推断 

分 类 号：O141.1[理学—数学]