• 意味
  • 例文
  • 慣用句
  • 画像

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