論理積
出典: フリー百科事典『ウィキペディア（Wikipedia）』
数理論理学において論理積（ろんりせき）とは、与えられた複数の命題のいずれもが例外なく真であることを示す論理演算である。
二つの命題 P, Q に対する論理積を P ∧ Q と書き、「P かつ Q」や「P そして Q」などと読む。 
目次 |
[編集] 例
- 「私の身長は 160 cm 以上である」
- 「私の体重は 50 kg 以上である」
の二つの命題の論理積は、
- 「私の身長は 160 cm 以上であり、かつ私の体重は 50 kg 以上である」
[編集] 性質
- P ∧ Q = ¬(¬P ∨ ¬Q)
逆に、否定と論理積を用いて論理和を表すこともできる。
- P ∨ Q = ¬(¬P ∧ ¬Q)
[編集] 真理値表
| 命題 P | 命題 Q | P ∧ Q |
|---|---|---|
| 真 | 真 | 真 |
| 真 | 偽 | 偽 |
| 偽 | 真 | 偽 |
| 偽 | 偽 | 偽 |
[編集] 関連項目
- 否定論理積(NAND)
| 論理演算 |
