实验二王浩算法的实现.docx

实验二 王浩算法的实现 实验目的 熟练掌握命题逻辑中的王浩算法 实验内容 实现命题逻辑框架内的王浩算法 将命题逻辑中的王浩算法推广至下述命题语言的情形之下 i 命题变量符号 pl , p2 , p3 , ii逻辑连接符 iii间隔符) 在上述中所定义的命题语言中实现王浩算法 程序功能 输入命题逻辑公式程序将自动进行推理并判断公式的真假性 主要数据结构 term类用于存放推理过程中的逻辑连接符和间隔