命题公式

命题公式读音为 mìng tí gōng shì。意思是：命题逻辑系统中表示命题的公式。