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