王浩算法的Java实现

作者：梁晟; 赵雷

来源：科技信息, 2010, (05): 56+206.

• 王浩算法
• 相继式
• Java语言

用Java语言实现数理逻辑中命题逻辑的机械证明,从而抛开繁重的脑力证明过程,可用计算机证明任何命题逻辑的定理和公式。

• 单位
  中国人民解放军陆军炮兵防空兵学院; 贵阳学院