【ポイント】 ・「 ∀x1∈S1 ∃x2∈S2 ∀x3∈S3 P ( x1, x2, x3, x4 ) 」 は、 どの《S1に属す対象》を変項x1に代入しても、 その《S1に属す対象》に相応しい《S2に属す対象》が 少なくとも一個は存在するので、 その《S1に属す対象》に応じて、 相応しい《S2に属す対象》をうまく選んで変項x2に代入することによって 「どの《S3に属す対象》を変項 x3 に代入しても、 変項 x4 は、x1, x2, x3とのあいだの関係・条件Pを満たす」 を成り立たせることができる という主張。 ・S1もS2もS3も特定の対象に固定されている場合、 「 ∀x1∈S1 ∃x2∈S2 ∀x3∈S3 P ( x1, x2, x3, x4 ) 」は、 x4 を変項とする1項述語。→詳細 |
|
(例) ∀K∈R ∃N∈N ∀n∈N ( n≧N ⇒ 《数列》の第n項 > K) / ∀K∈R ∃N∈N ∀n∈N ( n≧N ⇒ 《数列》の第n項 < K) 【詳細】 ・ ∀x1∈S1 ∃x2∈S2 ∀x3∈S3 P(x1,x2,x3,x4) :/意味/読み/∀x1∈S1 ∃x2∈S2 ∀x3∈S3 の定義に遡って |
※多重量化一覧 ※論理関連ページ:古典論理/論理記号一覧/述語・命題関数 ※総目次 |
要旨
|
|
||||||||||
x1, x2, x4を変項とする3項述語・3変項命題関数 「 ∀x3∈S3 P ( x1, x2, x3, x4 ) 」 どの《S3に属す対象》を変項x3に代入しても、変項 x1, x2, x4 は、x3とのあいだの関係・条件Pを満たす をつくる。 【step2:存在量化】 step1で得られた 3項述語・3変項命題関数「 ∀x3∈S3 P ( x1, x2, x3, x4 ) 」 どの《S3に属す対象》を変項x3に代入しても、変項 x1, x2, x4 は、x3とのあいだの関係・条件Pを満たす の変項x2を存在量化子で束縛して存在量化し、 x1, x4を変項とする2項述語・2変項命題関数 「 ∃x2∈S2 ( ∀x3∈S3 P ( x1, x2, x3, x4 ) ) 」 x2に代入すると、 『どの《S3に属す対象》を変項x3に代入しても、変項 x1, x2, x4 は、x3とのあいだの関係・条件Pを満たす』 を成立させる《S2に属す対象》が存在する をつくる。 【step3:普遍量化】 step2で得られた2項述語・2変項命題関数 「 ∃x2∈S2 ( ∀x3∈S3 P ( x1, x2, x3, x4 ) ) 」 x2に代入すると、 『どの《S3に属す対象》を変項x3に代入しても、変項 x1, x2, x4 は、x3とのあいだの関係・条件Pを満たす』 を成立させる《S2に属す対象》が存在する の変項x1を全称量化子で束縛して普遍量化して得られる x4, x5を変項とする1項述語・1変項命題関数が、 「 ∀x1∈S1 ( ∃x2∈S2 ( ∀x3∈S3 P ( x1, x2, x3, x4 ) ) ) 」 どの《S1に属す対象》を変項x1に代入しても、 「x2に代入すると、 『どの《S3に属す対象》を変項x3に代入しても、変項 x1, x2, x4 は、x3とのあいだの関係・条件Pを満たす』 を成立させる《S2に属す対象》が存在する」 |
→∀x1∈S1 ∃x2∈S2 ∀x3∈S3 P(x1,x2,x3,x4) →多重量化一覧 →論理記号一覧/述語・命題関数 →総目次 |
・ P ( x1, x2, x3, x4 )は、 変項x1の議論領域をX1, 変項x2の議論領域をX2, 変項x3の議論領域をX3, 変項x4の議論領域をX4 とするn項述語・n変数命題関数 ・ S1は「X1の部分集合」 ・ S2は「X2の部分集合」 ・ S3は「X3の部分集合」 ・ S4は「X4の部分集合」 とすると、 「 ∀x1∈S1 ∃x2∈S2 ∀x3∈S3 P ( x1, x2, x3, x4 ) 」は、 どの《S1に属す対象》を変項x1に代入しても、 その《S1に属す対象》に相応しい《S2に属す対象》が 少なくとも一個は存在するので、 その《S1に属す対象》に応じて、 相応しい《S2に属す対象》をうまく選んで変項x2に代入することによって 「どの《S3に属す対象》を変項 x3 に代入しても、 変項 x4 は、x1, x2, x3とのあいだの関係・条件Pを満たす」 を成り立たせることができる という意味の一項述語・1変項命題関数。 ・S1もS2もS3も特定の対象に固定されている場合、 「 ∀x1∈S1 ∃x2∈S2 ∀x3∈S3 P ( x1, x2, x3, x4 ) 」は、 x4 を変項とする2項述語。→詳細 (例) ・∀K∈R ∃N∈N ∀n∈N ( n≧N ⇒ 《数列》の第n項 > K) ・∀K∈R ∃N∈N ∀n∈N ( n≧N ⇒ 《数列》の第n項 < K) |
|
|||||||||
→∀x1∈S1 ∃x2∈S2 ∀x3∈S3 P(x1,x2,x3,x4) →多重量化一覧 →論理記号一覧/述語・命題関数 →総目次 |
文献調査中 |
||
→∀x1∈S1 ∃x2∈S2 ∀x3∈S3 P(x1,x2,x3,x4) →多重量化一覧 →論理記号一覧/述語・命題関数 →総目次 |
|
・「 ∀x1∈S1 ∃x2∈S2 ∀x3∈S3 P ( x1, x2, x3, x4 ) 」 すなわち 「 ∀x1∈S1 ( ∃x2∈S2 ( ∀x3∈S3 P ( x1, x2, x3, x4 ) ) ) 」 とは、 |
|
「 ∀x1 ( x1∈S1 ⇒ ∃x2 ( x2∈S2 かつ ∀x3 ( x3∈S3 ⇒ P ( x1, x2, x3, x4 ) ) ) ) 」の省略表現。 ・「 ∀x1∈S1 ∃x2∈S2 ∀x3∈S3 P ( x1, x2, x3, x4 ) 」 すなわち 「 ∀x1∈S1 ( ∃x2∈S2 ( ∀x3∈S3 P ( x1, x2, x3, x4 ) ) ) 」 は、 「 ∀x1 ( x1∈S1 ⇒ ∃x2∈S2 ( ∀x3∈S3 P ( x1, x2, x3, x4 ) ) ) 」 の省略表現(∵)。 ・「 ∀x1 ( x1∈S1 ⇒ ∃x2∈S2 ( ∀x3∈S3 P ( x1, x2, x3, x4 ) ) ) 」は、 「 ∀x1 ( x1∈S1 ⇒ ∃x2 ( x2∈S2 かつ ∀x3∈S3 P ( x1, x2, x3, x4 ) ) ) 」 の省略表現(∵)。 ・「 ∀x1 ( x1∈S1 ⇒ ∃x2 ( x2∈S2 かつ ∀x3∈S3 P ( x1, x2, x3, x4 ) ) ) 」は、 「 ∀x1 ( x1∈S1 ⇒ ∃x2 ( x2∈S2 かつ ∀x3 ( x3∈S3 ⇒ P ( x1, x2, x3, x4 ) ) ) ) 」 の省略表現(∵)。 |
→∀x1∈S1 ∃x2∈S2 ∀x3∈S3 P(x1,x2,x3,x4) →多重量化一覧 →論理記号一覧/述語・命題関数 →総目次 |