Logic 命题逻辑中的公式与良构公式

有人能解释一下一般公式和格式正确的公式之间的区别吗？

---

是否有可能确定格式错误的公式的真值？

只有当公式根据给定的一组语法规则格式正确时，才能评估公式的有效性或其真值（或更一般地说是其评估）

因此，公式一般来说，在数学或逻辑的上下文中，意味着格式良好的公式

严格地说，如果您的符号包括

“+”|“（“|”）”|“a”-“z”

，则严格意义上的公式是由这些符号构成的任何字符串。例如，

a（++z

是一个公式

但我们也必须了解公式的构造规则。例如，如果规则是

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

---

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

ZakC是正确的，但只是为了强调一点：在逻辑上，几乎没有“公式”不是“格式正确的公式”的情况。直接回答OP的第二个问题：格式错误的公式没有真值。谢谢@ZakC的解释谢谢你问这个问题；）-14.2盖伊