加法的論理積（with、&）
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/16 14:33 UTC 版)
「線形論理」の記事における「加法的論理積（with、&）」の解説
資源の択一的出現を表し、人間側の選択を表す。自動販売機でポテトチップスとキャンディとソフトドリンクが同じ値段で売られているとき、その値段ぶんの金を持っていればどれか一つだけ購入できる。購入後は、candy & chips & drink （つまり、この論理積のどれか1つ）を入手している。このような場合に ⊗ を使うことはできない。⊗ を使うと全部を購入したことになってしまう。この演算でも結合法則と交換法則が成り立つ。
※この「加法的論理積（with、&）」の解説は、「線形論理」の解説の一部です。
「加法的論理積（with、&）」を含む「線形論理」の記事については、「線形論理」の概要を参照ください。
ウィキペディア小見出し辞書の「加法的論理積」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 加法的論理積のページへのリンク
