离散数学小知识((非P→Q)→(Q→P))不是合式公式,它说括弧不配对,为什么?怎么判断合式公式?