复合命题的构成方法fuhe mingti de goucheng fangfa

含有其它命题的命题称为复合命题.用一个或多个命题通过以下逻辑联结词构成新命题（复合命题）的方法称为命题演算或逻辑运算.
❶否定（并非） 将命题P否定，得到命题“非P”，称为命题P的否定式，记作P或⇁P，它的真值表规定如下：(“1”表示“真”，“0”表示“假”)

❷合取（并且） 用符号“∧”表示.由命题P,Q和逻辑联结词“∧”可以构造出一个新命题“P∧Q”，称为命题P,Q的合取式，读作“P并且Q”，其真值表规定如下：

P	Q	P∧Q
1	1	1
1	0	0
0	1	0
0	0	0

❸析取（或者） 用符号“∨”表示.由命题P,Q和逻辑联结词“∨”可以构造出一个新命题“P∨Q”，称为命题P,Q的析取式，读作“P或Q”，其真值表规定如下：

P	Q	P∨Q
1	1	1
1	0	1
0	1	1
0	0	0

❹蕴涵(若…则…) 用符号“→”表示.由命题P,Q和逻辑联结词“→”可以构造出一个新命题“P→Q”，称为命题P,Q的蕴涵式，读作“若P，则Q”，其真值表规定如下：

P	Q	P→Q
1	1	1
1	0	0
0	1	1
0	0	1

❺等值（当且仅当） 用符号“↔”表示.由命题P,Q和逻辑联结词“↔”可以构造出一个新命题“P↔Q”，称为命题P,Q的等值式，读作“P当且仅当Q”，其真值表规定如下：

P	Q	P↔Q
1	1	1
1	0	0
0	1	0
0	0	1

上述的命题P,Q是不确指的，命题逻辑中称为命题变量.因此，由命题变量通过逻辑联结词构成的复合命题也是不确指的，命题逻辑中称为命题函数(真值函数、命题公式等).命题逻辑只把构成复合命题的简单命题作为问题，而不涉及命题的内容.但是，在数学中这两方面都要兼顾.