公式vs命题逻辑中的格式公式

Question

有人可以解释一下公式的区别和合式公式？ 是否可以确定一个不健全的公式的真值？

Answer 1

只有当公式与给定的一组语法规则相符时，才能评估公式或其真值（或更一般地，其评估值）的有效性。

所以公式一般，和在数学或逻辑的上下文中，是指合式式。

严格地说，如果您的符号包含'+' | '(' | ')' | 'a'-'z'，严格意义上的公式是由这些符号形成的任何字符串。例如，a((++z是一个公式。

但是我们也必须看一个公式的构造规则。如果规则是，例如

F,E ::= F + E | (F) | 'a'-'z' 

那么你的公式是不正确的。