等式理論
たぶんあまり一般的な用語ではない
mrsekut.icon
「=」の理論
等式理論
$ T
公理
$ T
に属する公理
同一律
$ t=t
推論規則
対称律
推移律
代入
$ s(x)=t(x)
ならば
$ s(u)=t(u)
$ x
は任意の変数
$ u
は項
合成
$ s_1=t_1=,\cdots,s_n=t_n
ならば、
$ f(s_1,\cdots,s_n)=f(t_1,\cdots,t_n)
参考
『山の上のロジック学園』
p.15