公式vs命題邏輯中的格式公式

Question

有人可以解釋一下公式的區別和合式公式？ 是否可以確定一個不健全的公式的真值？

Answer 1

只有當公式與給定的一組語法規則相符時，才能評估公式或其真值（或更一般地，其評估值）的有效性。

所以公式一般，和在數學或邏輯的上下文中，是指合式式。

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

但是我們也必須看一個公式的構造規則。如果規則是，例如

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

那麼你的公式是不正確的。