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

时间:2016-03-07 02:40:28

标签: logic formula formal-languages well-formed

有人可以解释公式格式良好的公式之间的区别吗? 是否有可能确定形成错误的公式的真值?

1 个答案:

答案 0 :(得分:4)

公式的有效性或其真值(或更一般地说,它的评估)只有在公式相对于给定的语法规则集合良好形成时才能进行评估。

所以公式一般,在数学或逻辑的上下文中,意味着格式良好的公式。

严格来说,你可以说,如果你的符号包含'+' | '(' | ')' | 'a'-'z',严格意义上的公式是由这些符号组成的任何字符串。例如,a((++z是公式。

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

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

那么你的公式不是很好。