全称量化子とは？
ぜんしょうりょうかし
全称量化子とは、「すべての対象について」という意味を表す述語論理の記号「∀」のことです。
全称量化子（ぜんしょうりょうかし、universal quantifier）は、述語論理において「すべてのxについてP(x)が成り立つ」という命題を表現するために用いる記号「∀」です。「∀x P(x)」と書き、「任意のxに対してP(x)は真である」と読みます。
全称量化子は、特定の対象だけでなく、考察している領域（定義域）に属するすべての対象に対して述語が成立することを主張します。例えば、自然数の範囲で「∀n (n ≥ 0)」と書けば「すべての自然数は0以上である」という命題を表します。
全称量化子と対をなすのが存在量化子（∃、「ある対象が存在する」）です。両者の関係には次のような対偶・否定の法則があります。
- 「∀x P(x)」の否定は「∃x ¬P(x)」（ある対象でPが成り立たない）
- 「∃x P(x)」の否定は「∀x ¬P(x)」（すべての対象でPが成り立たない）
全称量化子は数学の証明において頻繁に登場します。「すべての実数xについてx²≥0が成り立つ」のような命題がその典型です。また、コンピュータ科学や人工知能の分野では、一般的なルールを表現する際に全称量化子の概念が活用されています。変数のスコープ（有効範囲）の概念とも密接に関連しており、量化子が束縛する変数の範囲を明示することが重要です。
使い方・例文
数学の証明で「すべての偶数nについてn/2は整数である」と主張する際に全称量化子を使い「∀n∈偶数 : n/2∈整数」と表記する場面で登場します。
この用語をシェア
最終更新: