命题公式英文解释翻译、命题公式的近义词、反义词、例句
英语翻译：
【计】 statement formula
分词翻译：
命题的英语翻译：
assign a topic; proposition; set a question
公式的英语翻译：
formula
【计】 formula; transition formula entry
【化】 equation
【医】 F.; formula
网络扩展解释
命题公式
命题公式（P-Formula）是一种数理逻辑中被广泛使用的表达命题的方式。下面为大家介绍一下命题公式的中文拼音、英语解释翻译、英文读音、英文的用法（中文解释）、英文例句、英文近义词、英文反义词、英文单词常用度等相关内容。
中文拼音
Mìng tí gōng shì
英语解释翻译
A proposition expressed in symbols and containing one or more uninterpreted constants, for which a truth value is assigned under an interpretation.
英文读音
Prɑpəˈzɪʃən ˈfɔrmjələ
英文的用法（中文解释）
命题公式（P-Formula）是一种逻辑语言，它是在公式中用符号来表示命题的真假与否。也就是说，命题公式是用符号、运算符和逻辑量词来表达命题的方法。在形式化语言中，所有的命题都被表示成形如“p&q”的形式。
英文例句
Example 1：The propositional formulas of propositional calculus can be obtained recursively through the following grammar.
Example 2：The propositional formula "p AND q" is true if both p and q are true.
英文近义词
propositional logic, statement calculus
英文近义词为propositional logic或statement calculus，它们都是指命题逻辑，与命题公式密切相关。
英文反义词
Predicate Formula
Predicate Formula指的是一种用于描述变量、常量并含有谓词的表述形式。与命题公式（P-Formula）的区别是，Predicate Formula涉及到的谓词被赋予了更多的解释空间。
英文单词常用度
命题公式（P-Formula）在学术界中被广泛使用，属于学术用语。但在英语日常生活中使用较少，因此在普通英语口语中的使用频率不高。