命题和合式公式
发布人