公式与命题逻辑中形式良好的公式

Question

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

Answer 1

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

因此，一般而言 ，在数学或逻辑的背景下，公式意味着良好的公式。

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

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

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

那么你的公式不是很好。