弗雷格系统-一流百科

弗雷格系统

简介在证明复杂性中，弗雷格系统是一个命题证明系统，其证明是使用有限的健全和隐含完整的推理规则得出的公式序列。弗雷格系统（在一般证明理论中更多地被称...