希尔伯特演绎系统维基百科,自由的 encyclopedia 在逻辑特别是数理逻辑中,希尔伯特风格演绎系统是归功于弗雷格[1]和希尔伯特的一类形式演绎系统。这种演绎系统最经常为一阶逻辑而研究,但对其他逻辑也是有价值的。 所有演绎系统都在逻辑公理和推理规则之间作出取舍平衡[1]。希尔伯特风格的演绎系统可以刻画为选择了大量的逻辑公理模式和少(Hilbert system)量的推理规则。最常研究的希尔伯特风格演绎系统只有一个推理规则即肯定前件和几个无限公理模式。 自然演绎系统做了相反的取舍,包括了很多演绎规则但有非常少甚至没有公理模式。
在逻辑特别是数理逻辑中,希尔伯特风格演绎系统是归功于弗雷格[1]和希尔伯特的一类形式演绎系统。这种演绎系统最经常为一阶逻辑而研究,但对其他逻辑也是有价值的。 所有演绎系统都在逻辑公理和推理规则之间作出取舍平衡[1]。希尔伯特风格的演绎系统可以刻画为选择了大量的逻辑公理模式和少(Hilbert system)量的推理规则。最常研究的希尔伯特风格演绎系统只有一个推理规则即肯定前件和几个无限公理模式。 自然演绎系统做了相反的取舍,包括了很多演绎规则但有非常少甚至没有公理模式。