命
题
公
式
mìng tí gōng shì
基本释义
命题逻辑系统中表示命题的公式。
英文翻译
Propositional formula