合式公式的判斷方法

合式公式的判斷方法是採用遞歸和分治法，對給定的一個公式X進行判斷，先根據括號的層次進行分解。如果A，B是合式公式，則P∧Q、P∨Q、P®Q、P«Q也是合式公式。

命題公式是由命題常項、命題變項、聯結詞、括號等組成的符號串，但不是由這些符號任意組成的符號串都是命題公式。因此，必須給出命題公式的嚴格定義。