命题公式

　　命题公式（汉语拼音：mìng tí gōng shì），命题逻辑系统中表示命题的公式。