Question

有人可以解释公式和格式良好的公式之间的区别吗？是否有可能确定形成错误的公式的真值？

Answer 1

公式的有效性或其真值（或更一般地说，它的评估）只有在公式相对于给定的语法规则集合良好形成时才能进行评估。

所以公式一般，在数学或逻辑的上下文中，意味着格式良好的公式。

严格来说，你可以说，如果你的符号包含'+' | '(' | ')' | 'a'-'z'，严格意义上的公式是由这些符号组成的任何字符串。例如，a((++z是公式。

但是，还必须看一下公式的构造规则。如果规则是，例如

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

那么你的公式不是很好。