FANDOM


量化子(quantifier)とは、述語論理において、固定変項に対し、「全ての」や「~が存在している」などの、量的な意味を付随することを指す。

具体的には$ \forall $という記号で表される全称量化子(普遍量化子)、また$ \exists $で表される存在量化子などがある。

また、たとえばPxといったような、自由変項に対して、量的な意味を与えることによって、真理値の割り当てを可能にする役割も持つ。このように、量化された自由変項を束縛して現れる(occur bound)と呼ぶ。