C递归_离散数学实现合式公式的递归判断