命题-一流百科

郑茂钦

郑茂钦介绍郑茂钦，数学专家，被华罗庚金杯少年数学邀请赛主式委员会综合评定为“华罗庚杯赛”教练员，参与希望数学少年俱乐部2021年度命题工作，被授予希望数...

词条百科

自动化定理证明

自动化学定义证明自动化定理证明（也称为 ATP 或自动演绎）是自动推理和数学逻辑的一个子领域，涉及通过计算机程序证明数学定理。基于数学证明的自动推理是...

词条百科

逻辑可能性

逻辑可能性逻辑可能性指的是使用特定逻辑系统的公理和规则，不能被反驳的逻辑命题。一个命题的逻辑可能性取决于所考虑的逻辑系统，而不是取决于对任何单一规...

词条百科

或然性（哲学）

简介在哲学和逻辑学中，或然性是指命题的状态，这些命题在每个可能的估值下都不是真的（即同义反复），在每个可能的估值下都不是假的（即矛盾）。一个偶然的...

词条百科

道德逻辑

简介道德逻辑是一种与信仰推理有关的逻辑类型。术语doxastic源于古希腊语δόξα（doxa，意见，信仰），英语术语doxa（流行的意见或信仰）也是从这里借用的。一...

词条百科

解析（逻辑）

简介在数理逻辑和自动定理证明中，解析是一种推理规则，导致命题逻辑和一阶逻辑中的句子的反驳完全定理证明技术。对于命题逻辑，系统地应用解析规则作为公式...

词条百科

替换（逻辑）

替换（逻辑）替换是逻辑学中的一个基本概念。替换是形式表达式上的一种句法转换。对一个表达式应用替换意味着用其他表达式持续替换其变量或占位符。由此产生...

词条百科

自体物语逻辑

自体物语逻辑自体物语逻辑是一种用于表示和推理关于知识的知识的形式逻辑。命题逻辑只能表达事实，而自态逻辑可以表达关于事实的知识和缺乏知识。稳定模型语...

词条百科

循环论证（逻辑）

循环论证（逻辑）循环论证，用于正式确定常识性的假设，即除非另有规定，否则事物都是如预期的。圆周率后来被麦卡锡用于解决框架问题的尝试。为了在最初的表...

词条百科

真理程度

真理程度在古典逻辑中，命题通常被毫不含糊地视为真或假。例如，命题'一'既等于也不等于它自己，被认为是简单的假，因为它违背了'不矛盾律'；而命题'一'等于'...

词条百科

命题证明系统

简介在命题微积分和证明复杂性中，命题证明系统（pps），也称为Cook-Reckhow命题证明系统，是一个用于证明经典命题同义词的系统。数学定义形式上，一个pps是...

词条百科

证明复杂性

证明复杂性在逻辑学和理论计算机科学中，特别是证明理论和计算复杂性理论，证明复杂性是一个旨在理解和分析证明或反驳语句所需的计算资源的领域。证明复杂性...

词条百科

布尔函数

布尔函数在数学和逻辑中，布尔函数是一个函数，其参数以及函数本身均采用两个元素组成的值（通常为{0,1}）。结果，有时将其称为“切换功能”。应用程序中的布尔...

词条百科