上节讨论了命题的符号化形式,这节将讨论什么是命题公式
命题常项与命题变项
简单命题是命题逻辑中最基本的研究单位,其真值是确定的,又称作命题常项或命题常元。
命题常项相当于初等数学中的常数。对应地,还有命题变项。
取值可以为1(真)或0(假)的变元称作命题变项或命题变元。
可以用命题变项表示真值可以变化的陈述句。
命题变项不是命题,命题变项与命题常项的关系如同初等数学中变量与常量的关系。
合式公式
将命题变项用联结词和圆括号按照一定的逻辑关系联结起来的符号串称作合式公式。
当使用联结词集
{
¬
,
∧
,
∨
,
→
,
↔
}
\left \{ \neg ,\wedge ,\vee ,\to ,\leftrightarrow \right \}
{¬,∧,∨,→,↔}
合式公式定义的如下:
(
1
)
单个命题变项是合式公式,并称为原子命题公式
.
(
2
)
若
A
是合式公式,则
(
¬
A
)
是合式公式
.
(
3
)
若
A
,
B
是合式公式,则
(
A
∧
B
)
,
(
A
∨
B
)
,
(
A
→
B
)
,
(
A
↔
B
)
是合式公式
.
(
4
)
有限次地应用
(
1
)
(
3
)
形成的符号串是合式公式
.
合式公式也称作
命题公式
或
命题形式
,简称为
公式
.
没
A
为合式公式,
B
为
A
中一部分,若
B
也是合式公式,则称
B
为
A
的
子公式
。
(1)单个命题变项是合式公式,并称为原子命题公式.\\ (2)若A是合式公式,则(\neg A)是合式公式.\\ (3)若A,B是合式公式,则(A\wedge B), (A\vee B), (A\to B), (A\leftrightarrow B)是合式公式.\\ (4)有限次地应用(1)~(3)形成的符号串是合式公式.\\ 合式公式也称作{\color{Tan} 命题公式} 或{\color{Tan} 命题形式} ,简称为{\color{Tan} 公式} .\\ 没A为合式公式,B为A中一部分,若B也是合式公式,则称B为A的{\color{Tan} 子公式} 。
(1)单个命题变项是合式公式,并称为原子命题公式.(2)若A是合式公式,则(¬A)是合式公式.(3)若A,B是合式公式,则(A∧B),(A∨B),(A→B),(A↔B)是合式公式.(4)有限次地应用(1) (3)形成的符号串是合式公式.合式公式也称作命题公式或命题形式,简称为公式.没A为合式公式,B为A中一部分,若B也是合式公式,则称B为A的子公式。