【記号∀の説明】 ・論理記号∀の呼称 ・論理記号∀の使用法 ∀x P(x) / ∀x∈S P(x) ∀x P(x,y) / ∀x∈S P(x,y) ∀xi P(x1,…,xn) / ∀xi∈S P(x1,…,xn) 多重量化 ・論理記号∀の読み下し方 ・論理記号∀の推論規則 −論理記号∀の導入則 −論理記号∀の除去則 | 【用語別】 ・全称量化記号 ・全称記号 ・universal quantifier ・全称量化子 ・全称作用素 | ・対象領域 ・議論領域 ・変項の定義域 |
・全称量化 ・全称量化子による量化 ・普遍量化 ・束縛する ・束縛変数(束縛変項) ・自由変数(自由変項) |
【ポイント】 ・「∀x∈S P(x,y)」 は、 集合Sという範囲から対象を選んで、変項xに代入すると、 どの対象を集合Sから選んで、変項xに代入しても、 変項yは、x,yとのあいだの関係・条件P(x,y)を満たす という主張。 ・集合Sが特定の対象に固定されている場合、 「∀x∈S P(x,y)」 は、yのみを変項とする1項述語。 ・例:∀n∈N ( 「《数列》の第n項」<「《数列》の第n+1項」) ・例:∀n∈N ( 「《数列》の第n+1項」<「《数列》の第n項」 ) ・例:∀n∈N ( 「《数列》の第n項」≦「《数列》の第n+1項」) ・例:∀n∈N ( 「《数列》の第n+1項」≦「《数列》の第n項」) ・例: ∀x∈A ( x≦M ) / ∀x∈A ( m≦x ) ・集合Sも変項で、様々な対象が代入される場合、 「∀x∈S P(x,y)」 は、S,zを変項とする2項述語。 【詳細】 |
「∀+変項∈範囲+二項述語」の意味
|
※具体例:「∀x∈S ( x loves y )」「∀y∈T ( x loves y )」 ※関連事項−二項述語の量化: ∀x P(x,y)の意味 / ∃x P(x,y)の意味 / ∃x∈X P(x,y)の意味 ※関連事項−二項述語の二重量化:∀x∈S∀y∈T P(x,y)/∃x∈S∀y∈T P(x,y)/∀x∈S∃y∈T P(x,y)/∃x∈S∃y∈T P(x,y)
|
||||||||||
議論領域Xのなかの任意のxについて、xが集合Sに属すならば、yはxとの関係Pを満たす の省略表現。 ・だから、「 ∀x∈S P(x,y) 」と「 ∀x ( x∈S⇒P(x,y) ) 」とは、互いに言い換えてよい。 ※具体例:「∀x∈S ( x loves y )」「∀y∈T ( x loves y )」 ※「∀x∈S P(x,y) 」と書くとき、Sを 変項xの議論領域Xにしても構わない。つまり、「∀x∈X P(x,y) 」という表現もOK。 この「∀x∈X P(x,y) 」という表現によって、変項xの議論領域Xを読者に明示的に伝達することが可能[新井p.90;松井p.36]。 ※このように、二項述語・2変数命題関数P(x,y)の頭に「 ∀x∈《特定の集合S》」をつける(普遍量化)と、 1項述語(1変数命題関数)Q(y) になる。 →集合Sが『内包的に定義された集合』のときの解釈 →集合Sが有限集合であるときの解釈 →主要テキストの読み下し例一覧 →具体的な使用例 |
→[トピック一覧:全称記号∀] →[総目次] |
∀x∈S P(x,y)の解釈:Sが『内包的に定義された集合』であるとき・P(x,y)を「変項xの議論領域をX, 変項yの議論領域をYとする二項述語・2変数命題関数」 Sを「Xの部分集合」 とすると、 |
※具体例:「∀x∈S ( x loves y )」「∀y∈T ( x loves y )」 ※関連事項−二項述語の量化: ∃x∈X P(x,y) のケース ※関連事項−二項述語の二重量化:「∀x∈S∀y∈T P(x,y)」/「∃x∈S∀y∈T P(x,y)」 |
|
議論領域をYとする1変項yの命題関数 「 ∀x∈S P(x,y) 」 (「変項xの議論領域Xの部分集合」Sに属す任意のxに対して、yは関係Pを満たす) は、 集合Sの内包がQであるとき、 つまり、 S={ x'∈X | Q(x') } であるとき、 議論領域をYとする1変項yの命題関数 「 ∀x ( Q(x)⇒ P(x,y) ) 」に言い換えてよい。 ・すなわち、 「 ∀x∈ { x'∈X | Q(x') } P(x,y) 」 は 、 「 ∀x ( Q(x)⇒ P(x,y) ) 」 へ 言い換えてよい。 →この場合に使われる略記法 ※なぜ? ・定義より、 「 ∀x∈ { x'∈X | Q(x') } P(x,y) 」 は、 「 ∀x ( x∈ { x'∈X | Q(x') } ⇒ P(x,y) ) 」 の省略表現。 ・ x∈ { x'∈X | Q(x') } はQ(x)に言い換えてよい(∵)から、 「 ∀x ( x∈ { x'∈X | Q(x') } ⇒ P(x,y) ) 」 は、 「 ∀x ( Q(x)⇒ P(x,y) ) 」 に言い換えてよい。 |
→[トピック一覧:全称記号∀] →[総目次] |
さらなる省略形「∀ 条件式 二項述語」
|
|
||||||||||
は、 議論領域をYとする1変項yの命題関数 「 ∀x∈ { x'∈X | Q(x') } P(x,y) 」 Q(x)の真理集合に属す任意のxに対して 、yは関係・条件Pを満たす。 上の例では、 ∀x∈{ 'x∈R | x'>0 } P(x,y) 「「x'>0」の真理集合に属す任意のxに対して 、yは関係・条件Pを満たす」 の省略表現。 ・さらにいうと、 P(x,y)を「変項xの議論領域をX, 変項yの議論領域をYとする二項述語・2変数命題関数」とした際の 「 ∀ xを先頭にした条件式Q(x) P(x,y) 」 たとえば、Rを変項xの議論領域とした際の「 ∀ x>0 P(x,y) 」 は、 議論領域をYとする1変項yの命題関数 「 ∀x ( Q(x)⇒ P(x,y) ) 」 上記の例では、 ∀x ( x>0 ⇒ P(x,y) ) に言い換えてよい。 なぜなら、 ・先述のとおり、 「 ∀ xを先頭にした条件式Q(x) P(x,y) 」 は、 「 ∀x∈ { x'∈X | Q(x') } P(x,y) 」 の省略表現。 ・「 ∀x∈ { x'∈X | Q(x') } P(x,y) 」 は「 ∀x ( Q(x)⇒ P(x,y) ) 」に言い換えてよい(∵)。 |
→[トピック一覧:全称記号∀] →[総目次] |
有限集合が議論領域のときの「∀変項 二項述語」の解釈
|
※具体例:「∀x∈S ( x loves y )」「∀y∈T ( x loves y )」 |
|
P(a1,y) かつ P(a2,y) かつ … かつ P(an,y) 「yは、a1と関係Pにあり、かつ、a2と関係Pにあり、かつ…かつ、anと関係Pにある」 に言い換えてよい。 |
→[トピック一覧:全称記号∀] →[総目次] |
「∀+変項∈範囲+二項述語」に関わる諸用語
|
【スコープ】 ・「∀ + 変項∈範囲 + 2項述語(2変数命題関数)」というかたちのなかで、 全称量化子・作用素「∀ + 変項∈範囲 」によって量化された 「2項述語(2変数命題関数)」 の部分は、 全称量化子・作用素「∀ + 変項∈範囲 」の スコープscope[岡田光弘p.31;松本p.28] 適用範囲[松本p.28] 視野[高崎V-1.5] 作用域[高崎V-1.5] 作用範囲[前原1章§8(p.24)] などと呼ばれる。 ※「∀ + 変項∈範囲 + 2項述語(2変数命題関数)」の後ろに、記号が続いていく場合、 どこまでが「∀ + 変項∈範囲」のスコープなのか、はっきりしなくなることがある。 そういうときは、 「∀ + 変項∈範囲」のスコープがどこまでかを明示するために、 「∀ + 変項∈範囲」の適用範囲に入っている述語を()で括る。 |
【束縛する/束縛変項/自由変項】 ・ ∀x∈範囲 を、x,yの関係・条件P(x)の前につける行為を、 「変項(変数)xを束縛するbound」と呼ぶ。[井関p.26] ・ 「 ∀x∈範囲 ( x,yの関係P ) 」 「 ∀x∈範囲 ( x,yが満たす条件P ) 」 「 ∀x∈範囲 ( P(x,y) ) 」 において、 「∀x∈範囲」のスコープにある 変項x つまり、 「∀x∈範囲」によって量化された2項述語(2変数命題関数) x,yの関係P x,yが満たす条件P P(x,y) のなかの変項x は、 束縛変項 (束縛変数) bound variable と呼ばれる。[斎藤p.50;前原1章§7-8][岡田光弘p.31;] [本橋2.4(pp.31-34))] ・ 「 ∀x∈範囲( x,yの関係P ) 」 「 ∀x∈範囲( x,yが満たす条件P ) 」 「 ∀x∈範囲( P(x,y) ) 」 において、 「∀x∈範囲」のスコープにある 変項y つまり、 「∀x∈範囲」によって量化された2項述語(2変数命題関数) x,yの関係P x,yが満たす条件P P(x,y) のなかの変項y は、 自由変項 (自由変数) free variable と呼ばれる。[岡田光弘p.31;井関p.29;前原1章§8(p.24)] |
|
→[トピック一覧:全称記号∀] →[総目次] |
「∀x∈S P(x,y) 」の読み下し例:一覧
|
※具体例:∀x∈S ( x loves y ) の読み / ∀y∈Y ( x loves y ) の読み ※関連事項−二項述語の量化: ∀x P(x,y)の読み / ∃x P(x,y)の読み / ∃x∈X P(x,y)の読み ※関連事項−二項述語の二重量化:「∀x∈S ∀y∈T P(x,y)」/「∃x∈S ∀y∈T P(x,y)」/「∀x∈S∃y∈T P(x,y)」/「∃x∈S ∃y∈T P(x,y)」
|
||||||||||
→[トピック一覧:全称記号∀] →[総目次] |
【例】 ・∀x∈S ( x loves y ) / ∀y∈Y ( x loves y ) ・∀n∈N ( 「《数列》の第n項」<「《数列》の第n+1項」) ・∀n∈N ( 「《数列》の第n+1項」<「《数列》の第n項」 ) ・∀n∈N ( 「《数列》の第n項」≦「《数列》の第n+1項」) ・∀n∈N ( 「《数列》の第n+1項」≦「《数列》の第n項」) ・∀x∈A ( x≦M ) / ∀x∈A ( m≦x ) 【例】 ・以下、 Choreo (x,y)は 「xの振り付けは、yによって考案される」という2項述語(2変数命題関数) を表すとする。 ・「∀x ∈Perfume Choreo (x,y) 」は、 「Perfumeに所属する任意のxについて、Choreo (x,y)」 すなわち、 「Perfumeに所属する任意のxについて、xの振り付けは、yによって考案される」 と読み下され、 「Perfumeの全メンバーの振り付けは、yによって考案される」 という一変項yの命題関数(一項述語)を意味する。 ・「∀x ∈Perfume Choreo (x,y)」は、 「 ∀x ( x ∈Perfume ⇒ Choreo (x,y)」の略記だから、 これらは、同じ意味で、互いに言い換えてよい。 |
||
→[トピック一覧:全称記号∀] →[総目次] |