FANDOM


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

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

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

広告ブロッカーが検出されました。


広告収入で運営されている無料サイトWikiaでは、このたび広告ブロッカーをご利用の方向けの変更が加わりました。

広告ブロッカーが改変されている場合、Wikiaにアクセスしていただくことができなくなっています。カスタム広告ブロッカーを解除してご利用ください。

FANDOMでも見てみる

おまかせWiki