命题逻辑系统中.表示命题的公式。
命mìng(1)（名）生命；性命。(2)（名）命运(3)（名）：算～。(4)（名）（动）命令(5)（名）；指派：～驾。(6)（名）（名）命令(7)（名）；指示：奉～｜待～。(8)（名）（动）给与（名称等）：～名｜～题。
题读音：tí题tí(1)本义：（名）头额。(2)（名）题目：标～｜本～。(3)（动）写上；签：～名｜～诗。(4)（Tí）姓。
公读音：gōng公gōng(1)（形）属于国家或集体的（跟‘私’相对）：～款｜～物｜～事公办。(2)（形）共同的；大家承认的：～分母｜～议｜～约。(3)（形）属于国际间的：～海｜～制｜～斤。(4)（动）使公开：～布｜～之于世。(5)（形）公平；公正：～买～卖｜大～无私｜秉～办理。(6)（名）公事；公务：办～｜～余。(7)（Gōnɡ）姓。(8)（名）封建五等爵位的第一等：～爵｜～侯｜王～大臣。(9)（名）对上了年纪的男子尊称：诸～｜张～。(10)（名）丈夫的父亲；公公：～婆。(11)（形）（禽兽）雄性的（跟‘母’相对）：～羊｜这只小鸡是～的。
式读音：shì式shì(1)（名）样式：新～｜西～。(2)（名）格式：程～｜法～。(3)（名）仪式；典礼：开幕～｜毕业～。(4)（名）自然科学中表明某种规律的一组符号：分子～｜方程～。(5)（名）一种语法范畴；表示说话者对所说事情的方式。如叙述式、命令式、条件式。