合式公式的判断方法

合式公式的判断方法是采用递归和分治法，对给定的一个公式X进行判断，先根据括号的层次进行分解。如果A，B是合式公式，则P∧Q、P∨Q、P®Q、P«Q也是合式公式。

命题公式是由命题常项、命题变项、联结词、括号等组成的符号串，但不是由这些符号任意组成的符号串都是命题公式。因此，必须给出命题公式的严格定义。