三省堂 大辞林

かんけい-のろんり くわん― 6 【関係の論理】

ブール・ド＝モルガン・パースらが展開した記号論理学の一分野。二つ以上の対象間に成り立つ規定を関係として形式化し、その論理構造や法則性を取り扱う。今日の述語論理学へと発展した。