论自然推理系统P的三种证明方法

作者：刘亚婷

来源：现代经济信息, 2017, (20): 391.

• 自然推理系统
• 证明
• 方法

自然推理系统P是逻辑学中很好的一个推理规则,它可以用来解决日常生活、科学领域、社会活动等逻辑推理,它主要有三种证明方法:直接证明法、附加前提证明法和归谬证明法。用这三种方法推出的结论,都是有效结论,当他的前提条件成立时,结论一定成立。

• 单位
  兴义民族师范学院