合式公式的判断方法（公式合式命题是由）

合式公式的判断方法是采用递归和分治法，对给定的一个公式X进行判断，先根据括号的层次进行分解。如果A，B是合式公式，则P∧Q、P∨Q、P®Q、P«Q也是合式公式。命题公式是由命题常项、命题变项、联结词、括号等组成的符号串，