命题逻辑中的公式与格式正确的公式
formula vs well-formed formula in propositional logic
有人可以解释一下一般公式和格式良好的公式之间的区别吗？
是否可以确定格式错误的公式的真值？
公式的有效性或其真值（或更一般地其评估）只有在公式相对于给定的一组语法规则形成良好时才能评估。
所以公式 通常 ，在数学或逻辑的上下文中，意味着 格式正确的 公式。
严格来说，你可以说如果你的符号包含'+' | '(' | ')' | 'a'-'z'，那么严格意义上的公式就是这些符号组成的任意字符串。例如，a((++z 是一个公式。
但还必须了解公式的构造规则。如果规则是，例如
F,E ::= F + E | (F) | 'a'-'z'
那么你的公式格式不正确。
有人可以解释一下一般公式和格式良好的公式之间的区别吗？ 是否可以确定格式错误的公式的真值？
公式的有效性或其真值（或更一般地其评估）只有在公式相对于给定的一组语法规则形成良好时才能评估。
所以公式 通常 ，在数学或逻辑的上下文中，意味着 格式正确的 公式。
严格来说，你可以说如果你的符号包含'+' | '(' | ')' | 'a'-'z'，那么严格意义上的公式就是这些符号组成的任意字符串。例如，a((++z 是一个公式。
但还必须了解公式的构造规则。如果规则是，例如
F,E ::= F + E | (F) | 'a'-'z'
那么你的公式格式不正确。