2005-12-20から1日間の記事一覧
f1, ..., fn, gが論理式で、Mが任意のモデルであるとき、「M |= f1, M |= f2, ..., M |= fn ならば常に M |= g」であるなら、gはf1, ..., fnの論理的帰結(logical consequence)と言ったりする。だが、この用語法はかなり変だ。logicalってのは、どちらかと…
「仕様」と「公理系」と「セオリー」を同義語で使っている人はけっこう多いな。イデアルとの対応からは次のような用語法がいいような気がする。 イデアルの概念 セオリーの概念 イデアル セオリー (イデアルの)生成系 (セオリーの)公理系 極大イデアル …