基本属性
- 拼音字母yuan zi gong shi
- 拼音首字母yzgs
- 注音符号ㄩㄢ ㄗ ㄍㄨㄥ ㄕ
扩展释义
在数理逻辑中,原子公式(Atomic formula)或原子是没有子公式的公式。把什么公式当作原子依赖于所使用的逻辑。例如在命题逻辑中,唯一的原子公式是命题变量。原子是在逻辑系统中"最小"的公式。在逻辑系统中的合式公式通常通过识别所有有效的原子公式,和给出从两个原子公式建立公式的规则而递归的定义。
「原子公式」是汉语中常见词语。本文从读音、释义、出处等方面为您权威解读。拼音:yuán zi gōng shì,注音:ㄩㄢˊ ㄗ˙ ㄍㄨㄥ ㄕˋ。
在数理逻辑中,原子公式(Atomic formula)或原子是没有子公式的公式。把什么公式当作原子依赖于所使用的逻辑。例如在命题逻辑中,唯一的原子公式是命题变量。原子是在逻辑系统中"最小"的公式。在逻辑系统中的合式公式通常通过识别所有有效的原子公式,和给出从两个原子公式建立公式的规则而递归的定义。