原子公式 编辑
在数理逻辑中， 原子公式或原子是没有子公式的公式。把什么公式当作原子依赖于所使用的逻辑。例如在命题逻辑中，唯一的原子公式是命题变量。
5
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
在数理逻辑中，文字是一个原子公式或它的否定。文字可以分为两种类型:
在逻辑中，一元谓词演算是所有谓词变量都是一元运算并且没有泛函谓词的谓词演算。所有原子公式都有形式



P



{\displaystyle P}

，这里的



P


{\displaystyle P}

是谓词字母而



x


{\displaystyle x}

是变量。
在命题演算和谓词演算中，原子公式要么是命题字母要么是跟随着n个变量的n元谓词字母。原子句子同于上述描述，除了n元谓词字母跟随着n个常量或函子之外。
在逻辑中，一元谓词演算是所有谓词变量都是一元运算并且没有泛函谓词的谓词演算。所有原子公式都有形式



P



{\displaystyle P}

，这里的



P


{\displaystyle P}

是谓词字母而



x


{\displaystyle x}

是变量。
在逻辑中，一元谓词演算是所有谓词变量都是一元运算并且没有泛函谓词的谓词演算。所有原子公式都有形式



P



{\displaystyle P}

，这里的



P


{\displaystyle P}

是谓词字母而



x


{\displaystyle x}

是变量。