翻訳と辞書 Words near each other ・ 吸収口型 ・ 吸収合併 ・ 吸収咽頭 ・ 吸収器 ・ 吸収因子 ・ 吸収塔 ・ 吸収境界条件 ・ 吸収帯 ・ 吸収度、吸光度 ・ 吸収式冷凍機 ・ 吸収律 ・ 吸収性ゼラチンスポンジ ・ 吸収性止血薬 ・ 吸収性無気肺 ・ 吸収性黄疸 ・ 吸収断面積 ・ 吸収曲線 ・ 吸収期 ・ 吸収根 ・ 吸収極大 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 吸収律 （ リダイレクト：吸収法則 ） ： ウィキペディア日本語版 吸収法則[きゅうしゅうほうそく] 吸収法則（きゅうしゅうほうそく、）は、代数学において1対の二項演算を結びつける恒等式である。吸収律あるいは簡約律とも。 任意の二項演算 $ と % について吸収法則が成り立つとは、次の式が成り立つことを意味する。 :''a'' $ (''a'' % ''b'') = ''a'' % (''a'' $ ''b'') = ''a''. このとき、演算 $ と % は一種の双対である。 2つの二項演算について閉じている集合があるとする。これらの演算に交換法則と結合法則が成り立ち、吸収法則も成り立つ場合、これらを抽象代数学的には束と呼ぶ。また、2つの演算子を「交わり」と「結び」と呼ぶ。交換法則と結合法則は、一般的な代数的構造でも成り立つことが多いので（例えば、実数の加算と乗算など）、吸収法則が束を特徴付けていると言える。ブール代数やハイティング代数は束の一種なので、これらも吸収法則に従う。 古典論理学がブール代数のモデルであるように、直観論理とハイティング代数には同様の関係がある。そのため、それぞれ論理和と論理積に対応する演算 $\backslash vee$ と $\backslash wedge$ に吸収法則が成り立つ。 :$a\; \backslash vee\; (a\; \backslash wedge\; b)\; =\; a\; \backslash wedge\; (a\; \backslash vee\; b)\; =\; a$ ここで、''='' は論理式における同値の意味である。 吸収法則は、適切さの論理、線形論理、部分構造論理では成り立たない。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「吸収法則」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Absorption law 」があります。 スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.