[判断]  在命题逻辑中,任何命题公式的主合取范式都是存在的,并且是唯一的。(  )