中英▼
go top

Hilbert system

  • 希尔伯特演绎系统（希尔伯特风格演绎系统是一类形式演绎系统，适用于一阶逻辑，选择了大量逻辑公理模式和少量推理规则。自然演绎系统则相反，包括了很多演绎规则但很少或没有公理模式）
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定