公式與命題邏輯中形式良好的公式

Question

有人可以解釋一般配方和結構良好的配方之間的區別嗎？ 是否有可能確定形成錯誤的公式的真值？

Answer 1

公式的有效性或其真值（或更一般地說，它的評估）只有在公式相對於給定的一組語法規則很好地形成時才能被評估。

因此，一般而言 ，在數學或邏輯的背景下，公式意味着良好的公式。

嚴格地說，如果您的符號包含'+' | '(' | ')' | 'a'-'z' ，則可以說 '+' | '(' | ')' | 'a'-'z' '+' | '(' | ')' | 'a'-'z' ，嚴格意義上的公式是由這些符號形成的任何字符串。 例如， a((++z是一個公式。

但是，還必須看一下公式的構造規則。 例如，如果規則是

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

那么你的公式不是很好。