【发布时间】：2016-06-20 12:10:06
【问题描述】：
有人可以解释一下一般公式和格式良好的公式之间的区别吗？ 是否有可能确定一个非良构公式的真值？
【问题讨论】：
-
感谢您提出这个问题 ;) - 14.2 人
标签： logic formula formal-languages well-formed
【发布时间】：2016-06-20 12:10:06
【问题描述】：
一个公式的有效性，或者它的真值（或更一般地它的评估），只有在公式相对于一组给定的语法规则形成良好的情况下才能被评估。
所以一个公式一般而言，在数学或逻辑的上下文中，意味着格式正确的公式。
严格来说，你可以说，如果你的符号包含'+' | '(' | ')' | 'a'-'z'，那么严格意义上的公式就是由这些符号组成的任何字符串。例如，a((++z 是一个公式。
但还必须查看公式的构造规则。如果规则是，例如
F,E ::= F + E | (F) | 'a'-'z'
那么您的公式格式不正确。
【讨论】：
-
ZakC 是正确的，但只是为了强调一点：当“公式”不意味着“格式良好的公式”时，逻辑上几乎没有情况。并直接回答 OP 的第二个问题：格式错误的公式没有真值。
-
感谢@ZakC 的解释