命题联结词之等价

等价

定义 设p，q都是命题，复合命题“p当且仅当q”称作p与q的等价式，记作p↔q

，称符号↔为等价联结词。并规定，p↔q为真当且仅当p，q同真假

等价真值表

p	q	p↔q
0	0	1
0	1	0
1	0	0
1	1	1