「論理積」の版間の差分

削除された内容 追加された内容
編集の要約なし
1行目:
[[数理論理学]]において'''論理積'''(ろんりせき、合接(ごうせつ) 連言)とは、与えられた複数の[[命題]]のいずれもが例外なく真であることを示す[[論理演算]]である。'''AND'''とも表す。
 
二つの命題 ''P'', ''Q'' に対する論理積を ''P'' ∧ ''Q'' と書き、「''P'' かつ ''Q''」や「''P'' そして ''Q''」などと読む。