圏 論 に よ る プログラミング と 論 理
圏 論 に よ る プログラミング と 論 理
圏 論 に よ る プログラミング と 論 理
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
「すべての」「あ<strong>る</strong>」<strong>と</strong>いう表現<strong>に</strong><strong>よ</strong>って, 命題の条件を満たすものの「量」<br />
を指定す<strong>る</strong>こ<strong>と</strong>を量化 (quantification) <strong>と</strong>いい, 量化のための記号を量<br />
化子 (quantifier) <strong>と</strong>いいます. ⼀一階述語<strong>論</strong><strong>理</strong>では, 以下の 2 種類の量化<br />
⼦子<strong>に</strong><strong>よ</strong>ってものを量化します.<br />
・ 全称量化子 (universal quantifier) は ∀ <strong>と</strong>書き表します.<br />
∀