“命题公式”什么意思（拼音,读音等）

[ mìng tí gōng shì ] 

[ mìng tí gōng shì ]

命题逻辑系统中表示命题的公式。