有人可以解释公式和格式良好的公式之间的区别吗? 是否有可能确定形成错误的公式的真值?
答案 0 :(得分:4)
公式的有效性或其真值(或更一般地说,它的评估)只有在公式相对于给定的语法规则集合良好形成时才能进行评估。
所以公式一般,在数学或逻辑的上下文中,意味着格式良好的公式。
严格来说,你可以说,如果你的符号包含'+' | '(' | ')' | 'a'-'z'
,严格意义上的公式是由这些符号组成的任何字符串。例如,a((++z
是公式。
但是,还必须看一下公式的构造规则。如果规则是,例如
F,E ::= F + E | (F) | 'a'-'z'
那么你的公式不是很好。