查看“︁命题公式”︁的源代码

[[分类:命题逻辑]]
{{InfoBox
|name=命题公式
|eng_name=propositional formula
|aliases=命题合式公式,propositional well-formed formula,合式公式,well-formed formula,WFF,公式,formula
}}
'''命题公式'''指由[[命题]]变元、命题常量及逻辑联结词构成的形式合理的表达式。

== 定义 ==

'''命题合式公式'''('''propositional well-formed formula''')，简称'''合式公式'''('''well-formed formula'''，缩写为'''WFF''')或'''命题公式'''('''propositional formula''')，或简称公式(formula)，是以下列形式生成的符号串：
# 命题变元和命题常量是命题公式；
# 若 <math>A</math> 是命题公式，则 <math>\lnot A</math> 是命题公式。
# 若 <math>A</math> 、 <math>B</math> 是命题公式，则 <math>A \land B</math> 、 <math>A \lor B</math> 、 <math>A \rightarrow B</math> 、 <math>A \leftrightarrow B</math> 是命题公式。
# 仅有限次应用以上各项所得到的符号串是命题公式。
若没有括号，五个运算符按以上出现顺序的优先级进行，相同运算符从左到右。

<blockquote>
* 在一些定义中，不会提及命题常量。
* 在一些定义中，命题常量被归入命题变元。
* 在一些定义中，常量是零元联结词。
</blockquote>

注意：命题公式中由于含有命题变元，通常不能确认其真值，因此命题公式不是命题。只有命题公式的[[指派（命题逻辑）|指派]]才是命题。


{{命题逻辑}}