数学
英
[1]
二項演算
英
命題論理
形式的証明
式
被演算子
中置記法
括弧
実数
加法
乗法
被演算子
可換則
代数的構造
半群
圏
減法
冪演算
交叉積

この図式が可換
写像の合成
集合
二項演算
? が結合的であるとは、結合法則 ( x ∗ y ) ∗ z = x ∗ ( y ∗ z ) ( ∀ x , y , z ∈ S ) {\displaystyle (x*y)*z=x*(y*z)\qquad (\forall x,y,z\in S)} を満足するときに言う。
[注釈 1]
演算子

[2]
釣り合いのとれた括弧の挿入の仕方
総数


文字列結合
文字列
可換
複素数
加法
実数
虚数
乗法
複素数
四元数
八元数
最大公約数
最小公倍数
集合
交叉
合併
写像
MM
合成演算
行列の積
行列
線型写像
合成
[3]
命題論理.mw-parser-output .sidebar{width:auto;float:right;clear:right;margin:0.5em 0 1em 1em;background:#f8f9fa;border:1px solid #aaa;padding:0.2em;text-align:center;line-height:1.4em;font-size:88%;border-collapse:collapse;display:table}body.skin-minerva .mw-parser-output .sidebar{display:table!important;float:right!important;margin:0.5em 0 1em 1em!important}.mw-parser-output .sidebar-subgroup{width:100%;margin:0;border-spacing:0}.mw-parser-output .sidebar-left{float:left;clear:left;margin:0.5em 1em 1em 0}.mw-parser-output .sidebar-none{float:none;clear:both;margin:0.5em 1em 1em 0}.mw-parser-output .sidebar-outer-title{padding:0 0.4em 0.2em;font-size:125%;line-height:1.2em;font-weight:bold}.mw-parser-output .sidebar-top-image{padding:0.4em}.mw-parser-output .sidebar-top-caption,.mw-parser-output .sidebar-pretitle-with-top-image,.mw-parser-output .sidebar-caption{padding:0.2em 0.4em 0;line-height:1.2em}.mw-parser-output .sidebar-pretitle{padding:0.4em 0.4em 0;line-height:1.2em}.mw-parser-output .sidebar-title,.mw-parser-output .sidebar-title-with-pretitle{padding:0.2em 0.8em;font-size:145%;line-height:1.2em}.mw-parser-output .sidebar-title-with-pretitle{padding:0 0.4em}.mw-parser-output .sidebar-image{padding:0.2em 0.4em 0.4em}.mw-parser-output .sidebar-heading{padding:0.1em 0.4em}.mw-parser-output .sidebar-content{padding:0 0.5em 0.4em}.mw-parser-output .sidebar-content-with-subgroup{padding:0.1em 0.4em 0.2em}.mw-parser-output .sidebar-above,.mw-parser-output .sidebar-below{padding:0.3em 0.8em;font-weight:bold}.mw-parser-output .sidebar-collapse .sidebar-above,.mw-parser-output .sidebar-collapse .sidebar-below{border-top:1px solid #aaa;border-bottom:1px solid #aaa}.mw-parser-output .sidebar-navbar{text-align:right;font-size:75%;padding:0 0.4em 0.4em}.mw-parser-output .sidebar-list-title{padding:0 0.4em;text-align:left;font-weight:bold;line-height:1.6em;font-size:105%}.mw-parser-output .sidebar-list-title-c{padding:0 0.4em;text-align:center;margin:0 3.3em}@media(max-width:720px){body.mediawiki .mw-parser-output .sidebar{width:100%!important;clear:both;float:none!important;margin-left:0!important;margin-right:0!important}}

演繹
推論規則
モーダスポネンス
モーダストレンス
連言導入
簡単化
選言導入
選言除去
選言三段論法
仮言三段論法
普遍汎化
普遍例化
存在汎化
存在例化

カテゴリ:推論規則
表
結合規則

命題論理
[4]
[5]
[6]
論理学的証明
論理結合子
論理演算の結合性

結合子
恒真式
[7]
非結合的演算

減法
除法
冪演算
無限和
非結合多元環
リー代数
ヤコビ恒等式
組合せ論
非結合的多元環
非結合的演算の記法詳細は「Operator associativity
評価の順
減法
除法
[8]
[9]
[10]
[11]
[12]
カリー化
冪
写像の合成
カリー–ハワード対応
カリー化
[13]
クヌースの矢印記法
交叉積
ベクトル三重積
算術平均
集合の差
プログラミング言語詳細は「演算子の結合性
中置記法
プログラミング言語
式
意味