持续创作，加速成长！这是我参与「掘金日新计划 · 10 月更文挑战」的第17天，点击查看活动详情
什么是原子公式？
原子公式是项 在数理逻辑中， 原子公式或原子是没有子公式的公式。把什么公式当作原子依赖于所使用的逻辑。例如在命题逻辑中，唯一的原子公式是命题变量。 原子是在逻辑系统中"最小"的公式。在逻辑系统中的合式公式通常通过识别所有有效的原子公式，和给出从两个原子公式建立公式的规则而递归的定义。从原子公式制作的公式是复合公式。
什么是合式公式？
在资料书中是这样定义的
然而在合式公式中还有几个新的概念，指导变项，辖域，约束出现，自由出现。 在合式公式中，称X为指导变项，A为辖域，则X的所有出现称为约束出现，A中不是约束出现的其他变项称为自由出现。
例如：
逻辑有效式和矛盾式
设A为一谓词公式，如果A在任何解释和该解释下的任何赋值下都为真，则称A为逻辑有效式（或称永真式）；如果A在任何解释和该解释下的任何赋值下都为假，则称A为矛盾式（或称永假式）；若至少存在一个解释和该解释下的一个赋值使A成真，则称A是可满足式。
闭式
若公式A中无自由出现的个体变项，则称A是封闭的合式公式，简称闭式。
换名规则
将一个指导变项及其在辖域中所有约束出现替换成公式中没有出现的个体变项符号。
以上就是关于离散数学中一阶逻辑合式公式的内容，这些不同的概念是在合式公式的运用中出现的，这也是合式公式的运算需要用到的重要的概念，关于合式公式还有很多的应用，以上是比较重要的概念。
