5つの論理結合子
論理結合子としては，以下の5つを用いる．p，qはそれぞれ命題を表わす．
否定：〜 〜p「pではない」
連言：∧ p∧q「pかつq」
選言：∨ p∨q「pまたはq」
条件：⊃ p⊃q「pならばqである」
双条件：≡ p≡q「pとqは等値」「pならばqであり，かつ，qならばpである」
p
q
〜p
p∧q
p∨q
p⊃q
p≡q
1
1
0
1
1
1
1
1
0
0
0
1
0
0
0
1
1
0
1
1
0
0
0
1
0
0
1
1