离散数学中怎么判断任意一个公式是否为合式公式