述語論理で始まる言葉

国語辞書(1)

• じゅつご‐ろんり【述語論理】

  記号論理学の一部門。命題内部の論理構造である主語と述語の関係「すべての主語は…である」「ある主語は…である」などを、論理記号（全称∀・存在∃など）によって記号化して研究するもの。→命題論理