これは「論理哲学論考」校正作業のためのワーク・ファイルです。
一つの命題毎に原文(独)、二つの英訳、および日本語訳を並べてあります。 ホームも参照ください。
aRb
」は、a
が b
に対して関係 R
にあることを語っている。』のではなく、「a
」が「b
」に対してなんらかの関係にあるということが、 aRb
ということを語っているのである。
A
]は「A
」と同じ記号である)
F(fx)
が自分自身の入力項になりえると仮定してみよう。そのとき、「F(F(fx))
」という命題が存在することになる。ところがこの命題において外側の関数 F
と内側の関数 F
は異なる意味をもっているのでなければならない。なぜならば、内側は φ(fx)
という形式であるのに対し、外側は ψ(φ(fx))
となるからである。二つの関数に共通なものは文字「F
」にすぎない。だが文字それ自身は何も表さない。F(Fu)
」 の代わりに「(∃φ) : F(φu) . φu = Fu
」 と書くと、ただちに明らかになる。~p
」(「p
ではない」)と「pVq
」(「p
または q
」)という表記を用いて書き換えることができる。それはすべての真理関数の表記に共通である。aRb
」という形式の命題を像として受け止めている。ここにおいて記号は明らかにそれが表示するものの似姿である。
(x) . fx
」と表しているものを、仮に「fx
」の前に(一般性を示す)目印をつけて、たとえば「Alg.fx
」と表したとしよう。これでは十分ではない。--これでは、なにが一般化されているのか分からない。そこで x
に一般性の目印 「a
」 を添えて「f(xa)
」のように表したとする。これもやはり十分ではない。--これでは一般性を示す範囲が分からない。A
」を導入し、たとえば「(A,A) . F(A,A)
」のようにしてみたらどうか。十分ではない。--これらいくつかの可変項の同一性を確定できなくなる。等々。~p
」が偽なる仕方で表示することを、「p
」は真なる仕方で表示するなどと言い出しかねない。等々。
p
」で ~p
のことを考えていたとしよう。しかも、事実が考えられていたとおりであったとする。そのとき、この新たな概念のもとで、「p
」は真であり、偽とはならないのである。
p
」と「~p
」が同じことを語りうるということは重要である。というのも、それは記号「~
」が現実の何ものにも対応しないことを示しているのだから。~~p = p
)。p
」と「~p
」意義は反対である、しかしそれらには同じ一つの現実が対応する。
p
」は真である(あるいは偽である)と語るためには、どのような状態で「 p
」を真とするのかを確定していなければならない。そしてそれによって私は命題の意義を確定するのである。fa
」は、その意義の中に対象 a
が現れることを示している。二つの命題「fa
」と「ga
」は、それらがともに同一の対象についての命題であることを示している。»aRb«, »(∃x):aRx.xRb«, »(∃x,y):aRx.xRy.yRb«, u.s.f. |
aRb
」、(∃x) : aRx . xRb
」、(∃x, y) : aRx . xRy . yRb
」、b
が a
に対してこうした関係にあるとき、b
を a
の後継と呼ぶ。)
x
」が対象と言う擬似概念に対する本来的な記号なのである。∃(x, y)・・・
」と表される。א0
個の対象がある」と語ることもできない。1
は数である」「ただ一つのゼロがある」といった表現、およびこれに類するものはすべてナンセンスである。 1
がある」と語ることは、「2 + 2
は三時には 4
に等しい」と語ることと同様にナンセンスである。
b
は a
の後継である」という一般的命題を概念記法で表現しようとするならば、次の形式列の一般項を表す表現が必要となる。aRb
、(∃x) : aRx . xRb
、(∃x, y) : aRx . xRy . yRb
、x
」、「y
」、「z
」)で表す。fx
」, 「φ
(x
、y
)」 等の形式で書く。p
、q
、r
という文字でも表す。
=
」 をおくことによって表現する。a = b
」 は、記号 「a
」 は記号 「b
」 で置き換え可能ということである。b
」 を導入し、その記号を既知の記号 「a
」 と置き換えるべきものと決めるとき、私はその等式--定義--を(ラッセルにならって) 「定義 a = b
」 という形式で書く。定義とは、記号の使用規則である。)
a = b
」 という形式の表現は、描写の為の補助手段にすぎない。それは記号 「a
」 「b
」 の意味については何も語らない。
a = a
」 のような表現、又そこから導かれる表現は、要素命題ではないし、それ以外の何か有意義な記号でもない。(この点は後述する。)
n
個の事態の成立・非成立にかんして、 通りの可能性がある。n
個の要素命題の真--および偽--の可能性が、同じ数だけ対応している。
|
|
|
p | q | r | p | q | p | ||
T | T | T | T | T | T | ||
F | T | T | F | T | F | ||
T | F | T | T | F | |||
T | T | F | F | F | |||
F | F | T | |||||
F | T | F | |||||
T | F | F | |||||
F | F | F |
p | 真 | 偽 |
p | 真 | 偽 | 真 | 偽 | |
q | 真 | 真 | 偽 | 偽 |
p | 真 | 偽 | 真 | 真 | 偽 | 偽 | 真 | 偽 | |
q | 真 | 真 | 偽 | 真 | 偽 | 真 | 偽 | 偽 | |
r | 真 | 真 | 真 | 偽 | 真 | 偽 | 偽 | 偽 |
n
個の要素命題の真理可能性のどれと一致し、どれと一致しないかには の可能性がある。
~p
等々における入出力項であるとするならば、フレーゲの規定による「~p
」 の意味はまったく定まらないことになるだろう。)
p | q | |||
W | W | W | ||
» | F | W | W | « |
W | F | |||
F | F | W |
p | q | |
T | T | T |
F | T | T |
T | F | |
F | F | F |
|
|-
」は論理的にはまったく意味をもたない。それはフレーゲ(そしてラッセル)において、ただ彼らがこの記号のついた命題を真とみなしていることを表すにすぎない。「|-
」はそれゆえ、命題に付された番号と同様、命題の一部ではない。命題が自分自信について真であると語ることはできない。)p
,q
)」p
,q
)」。n
個の要素命題にたいして、Ln
個の真理条件*の組が可能である。0
」が算術の記号体系の一部であるように、記号体系の一部である。
+c
」 では、「c
」はそれが添付された記号の全体が、基数に対する加算記号であることを示す目印である。しかし、この表し方は恣意的な取り決めによるものであり、「+c
」の代わりに目印を持たない別の単純な記号を選んでもよかったのである。しかし、「~p
」における「p
」は目印ではなく入力項である。「~p
」の意義は、「p
」の意義が予め理解されていない限り、理解することはできない。(ユリウス・カエサルという名において、「ユリウス」は目印である。目印は、つねに、その目印を付けた名の対象に対する記述の一部となっている。たとえば、「ユリウス家のそのカエサル」のように。)(WWWW)(p,q) | Tautologie | (Wenn p, so p, und wenn q, so q.) (p⊃p.q⊃q) |
(FWWW)(p,q) | in Worten: | Nicht beides p und q. (~(p.q)) |
(WFWW)(p,q) | " " | Wenn q, so p. (q⊃p) |
(WWFW)(p,q) | " " | Wenn p, so q. (p⊃q) |
(WWWF)(p,q) | " " | p oder q. (p∨q) |
(FFWW)(p,q) | " " | Nicht q. (~q) |
(FWFW)(p,q) | " " | Nicht p. (~p) |
(FWWF)(p,q) | " " | p oder q, aber nicht beide. (p.~q:∨:q.~p) |
(WFFW)(p,q) | " " | Wenn p, so q, und wenn q, so p. (p≡q) |
(WFWF)(p,q) | " " | p |
(WWFF)(p,q) | " " | q |
(FFFW)(p,q) | " " | Weder p noch q. (~p.~q oder p|q) |
(FFWF)(p,q) | " " | p und nicht q. (p.~q) |
(FWFF)(p,q) | " " | q und nicht p. (q.~p) |
(WFFF)(p,q) | " " | p und q. (p.q) |
(FFFF)(p,q) | Kontradiktion | (p und nicht p; und q und nicht q.) (p.~p.q.~q) |
(T T T T)(p, q) | Tautology (if p then p, and if q then q) [p p . q q] |
(F T T T)(p, q) | in words: Not both p and q. [~(p . q)] |
(T F T T)(p, q) | '' '' If q then p. [q p] |
(T T F T)(p, q) | '' '' If p then q. [p q] |
(T T T F)(p, q) | '' '' p or q. [p v q] |
(F F T T )(p, q) | '' '' Not q. [~q] |
(F T F T)(p, q) | '' '' Not p. [~p] |
(F T T F)(p, q) | '' '' p or q, but not both. [p . ~q :v: q . ~p] |
(T F F T)(p, q) | '' '' If p, then q; and if q, then p. [p q] |
(T F T F)(p, q) | '' '' p |
(T T F F)(p, q) | '' '' q |
(F F F T)(p, q) | '' '' Neither p nor q. [p . ~q or p | q] |
(F F T F)(p, q) | '' '' p and not q. [p . ~q] |
(F T F F)(p, q) | '' '' q and not p. [q . ~p] |
(T F F F)(p, q) | '' '' p and q. [p . q] |
(F F F F)(p, q) | Contradiction (p and not p; and q and not q.) [p . ~p . q . ~q] |
(真真真真)(p, q ) | トートロジー(p ならば p 、かつ q ならば q 。) (p ⊃ p .q ⊃ q ) | |
(偽真真真)(p, q ) | 言葉にすると : p かつ q ということはない。 (~(p .q) ) | |
(真偽真真)(p, q ) | ” ” q ならば p 。 (q ⊃ p ) | |
(真真偽真)(p, q ) | ” ” p ならば q 。 (p ⊃ q ) | |
(真真真偽)(p, q ) | ” ” p または q 。 (p V q ) | |
(偽偽真真)(p, q ) | ” ” q ではない。 (~q ) | |
(偽真偽真)(p, q ) | ” ” p ではない。 (~p ) | |
(偽真真偽)(p, q ) | ” ” p か q の一方のみ。(p .~q :V: q .~p ) | |
(真偽偽真)(p, q ) | ” ” p ならば q 、かつ q ならば p 。(p ≡ q ) | |
(真偽真偽)(p, q ) | ” ” p 。 | |
(真真偽偽)(p, q ) | ” ” q 。 | |
(偽偽偽真)(p, q ) | ” ” p でも q でもない。 (~p .~q あるいは p | q ) | |
(偽偽真偽)(p, q ) | ” ” p かつ q ではない。 (p .~q ) | |
(偽真偽偽)(p, q ) | ” ” q かつ p ではない。 (q .~p ) | |
(真偽偽偽)(p, q ) | ” ” q かつ p。 (q .p ) | |
(偽偽偽偽)(p, q ) | 矛盾(p かつ p でなく、q かつ q でない。) (p .~p .q .~q ) |
q
」の真理根拠のすべてが命題「p
」の真理根拠であるとき、「p
」が真であることは「q
」が真であることから帰結する。
p
が q
から帰結する」とは、 一方の真理根拠が他方の真理根拠に含まれるということである。
p
が q
から帰結するならば、「p
」の意義は「q
」の意義に含まれている。
p
」のすべての対象を創造せずに命題「p
」が真となる世界を創造することはできない。
p . q
」は、「p
」を肯定する命題の一つであり、同時に「q
」を肯定する命題の一つでもある。pVq
と ~p
から q
を推論するとき、「pVq
」と「~p
」の命題形式間の関係はこの表現方法によって隠されている。しかし、たとえば「pVq
」の代わりに「p|q .|. p|q
」、「~p
」の代わりに「p|p
」(p|q
は p
でも q
でもない)と書いたとすれば、両者の内的連関が明らかになるだろう。(x) . fx
から fa
を推論することができる、この事実が「(x) . fx
」というシンボルそれ自体にも一般性が存在していることを示している。)
p
が q
から帰結するならば、q
から p
を推論することができる。すなわちp
が q
から導き出される。A
は p
が成立することを知っている」は、p
がトートロジーの時には、無意義である。)
p
が q
から帰結し、q
が p
から帰結するとき、両者は同一の命題である。
Wr
を命題「r
」の真理根拠の数、Wrs
を命題「s
」の真理根拠のうち同時に命題「r
」のそれでもある真理根拠の数とする。そのとき、比 Wrs:Wr
を命題「r
」が命題「s
」に与える確率の測度と呼ぶ。
Wr
を命題 r
における「真」の数、Wrs
を命題 r
で「真」となっている同じ列で、命題 s
も「真」となっている数とする。そのとき、命題 r
が命題 s
に与える確率は Wrs:Wr
である。
p
から q
が帰結するとき、命題「q
」は命題「p
」に確率 1 を与える。論理的推論の確実性は確率の極限的ケースである。p
の真理関数の意義は p
の意義の関数である。p
」から「q
」を作りだす操作が、また「q
」から「r
」を作りだす、以下同様。このことは、「p
」「q
」「r
」等が可変項であり、かつそれらによってある形式的関係が一般的に表現されていることによってのみ、表現可能である。
O'O'O'a
」は「a
」に「O'ξ
」を三回繰り返し適用した結果である。)a, O'a, O'O'a, . . . .
の一般項を [a, x, O'x]
と書くことにする。この括弧つき表現は一つの可変項である。括弧つき表現の最初の項は形式列の初項であり、二番目は列の任意の項 x の形式であり、そして三番目は列において x のすぐ後に続く項の形式である。
~~p
」における否定のように。 ~~p = p
)
p
」、「q
」、「r
」等が要素命題でない場合にも意味を持つ。p
」と「q
」が要素命題の真理関数である場合にも、要素命題に対する一つの真理関数を表す。
∨
, ⊃
、 等々は、右、左、等が関係とされる意味では、関係ではない。~
」と「∨
」を用いて定義される「⊃
」は、「⊃
」と「 ~
」で「∨
」を定義するときの「⊃
」と同じであり、また後者の「∨
」は前者の「∨
」と同じである、等々。
p
からそれとは別の事実、例えば ~~p
、~~~~p
、等々が無限に帰結しなければならないと言うことは、実に信じがたいことである。そして、無限個の論理学(数学)の命題が半ダースほどの「基本法則」から帰結するということも、これに劣らず驚くべきことである。~~p
」は、「~p
」を否定しているのか、それとも p
を肯定しているのか、それとも、その双方なのか。~~p
」は対象に関わるように否定命題に関わっているのではない、しかし否定命題の可能性は肯定命題のうちにすでに先取りされている。~
」と呼ばれる対象が存在するとすれば、「~~p
」は「p
」とは異なることを語っていなければならなくなる。なぜなら、「~~p
]は対象 ~
に関わっているが、「p
」はそうではないからである。
~(∃x) . ~fx
」が「(x) . fx
」と同じことを語るとき、あるいは「(∃x) . fx . x = a
」が「fa
」と同じことを語るときにも、現れる。
~p
」という形式の命題だけでなく、「~(p∨q)
」や「(∃x) . ~fx
」といった形式の命題においても否定を理解するのでなければならない。まずある事例の組に対して否定を導入し、次に別の事例の組に対して導入する、というようにしてはならないのである。なぜならば、両者の事例において否定の意味が同じかどうかが疑わしいまま放置され、そして両者の事例で同じ記号結合の方法を用いるべき理由もなくなるであろうから。p∨q
」のみならず、「~
(p∨q
)」等々も同時に導入されているのである。その時また、すべての可能な括弧の組み合わせも、既に導入されていることになるだろう。そしてこのことから、本来的な一般原始記号とはけっして「p∨q
」や「(∃x) . fx
」等々ではなく、それらの組み合わせのもっとも一般的な形式であることが明らかとなるだろう。
∨
」や「⊃
」といった見かけ上の関係は、本来の関係とは異なり、括弧を必要とする。この一見ささいな事実は、大きな意味をもっている。fa
」は(∃x) .fx . x = a
」(-----真)(ξ、. . . .)
(ξ)
」という形の記号で表す。「ξ
」は括弧表記内の項を値とする可変項である。そして可変項の上の横棒は、それが括弧内のすべての値のかわりであることを表す。ξ
が三つの値 P, Q, R
をもつ場合は、(ξ) = (P ,Q, R)
となる。)fx
の提示、x
のすべての値に対する関数の値が、記述されるべき命題である。3、形式的規則の提示、その規則に従って、記述されるべき命題が構成される。この場合には、括弧表記内の項は、この規則によって構成される形式列のすべての項となる。
(-----真)(ξ、. . . .)
」の代わりに「N(ξ)
」と書く。N(ξ)
は、命題可変項 ξ
のすべての値に対する否定である。
ξ
が一つの値だけをもつ場合、N(ξ)
* = ~p
(p
でない)となり、二つの値をもつ場合は、N(ξ) = ~p . ~q
(p
でなく q
でもない)となる。
~p
」が真であるのは、「p
」が偽のときである。それゆえ、真な命題「~p
」において、「p
」は偽な命題である。では波線「~
」はどのようにして、この偽な命題「p
」を現実に一致させることができるのだろうか。~p
」において否定するものは「~
」ではなく、この表記法において p
を否定するすべての記号に共通なものである。~p
」 「~~~p
」 「~p V ~p
」 「~p . ~p
」 等々を(無限に)構成する共通の規則である。そしてこの共通なものが、否定を反映するのである。
p
と q
をともに肯定するすべてのシンボルに共通なもの、それが命題「p . q
」である。p
か q
のいずれかを肯定するすべてのシンボルに共通なもの、それが「p V q
」である。q : p V ~p
」は「q
」と同じことを語り、「p V ~p
」は何も語らないことが示される。
p
を否定するすべての命題を構成する規則、p
を肯定するすべての命題を構成する規則、p
か q
のいずれかを肯定するすべての命題を構成する規則、等々がその表記法のうちに存在することになる。これらの規則はシンボルと同等であり、規則のうちにシンボルの意義が反映されている。
V
」「.
」等がただ命題だけを結合することが、われわれのシンボルにおいて明示されなければならない。p
」や「q
」といったシンボル自体、すでに「V
」や「~
」を前提としているのである。かりに「p V q
」における記号「p
」が複合記号を表すものではないとすれば、「p
」それだけでは意義をもつことができない。そしてそのとき、「p
」と同等な「p V p
」や「p . p
」といった記号もまた意義をもつことができない。しかし、「p V p
」が意義をもたないならば、「p V q
」もまた意義をもつことができない。
a
」が[b
」に対してある関係にないとき、それは aRb
が成立していないことを表現している、のように。)x
の値に対する関数 fx
の値の全体をξ
の値とすると、そのとき N(ξ)=~(∃x) . fx
となる。
(∃x) . fx
」と「(x) . fx
」を一般性と真理関数という二つの概念を含んでいるものと理解し難くなったのである。
(∃x ) . fx
」を--ラッセルがしたように--「fx
は可能である」という言葉に言い換えることは、正しくない。x
が一つ、そしてただ一つ存在する」という表現のあとに、「そしてこの x
が a
である」と言うだけでよい。
(∃x, φ) . φx
」において「φ
」と「x
」別々に言及しなければならないことに示されている。両者は、一般化されていない命題の場合と同様、それぞれ独立に世界に対して指示関係にある。)(x) : fx .⊃. x = a)
」という命題を考えてみれば明らかになる。この命題が語ることは、たんに、 a
だけが関数 f
を満たすということであり、 a
となんらかの関係を持つものだけが関数 f
を満たすということではない。a
だけが a
に対してこの関係に立ちうると語ることもできるが、しかし、それを表現するためには、まさに等号そのものが必要となる。
=
」の定義は十分ではない。なぜなら、その定義に従うと、二つの対象がすべての性質を共有する、と語ることができなくなるからである。(この命題は、たとえ決して正しくはないとしても、なお意義をもっている。)
f (a , b) . a = b
」とは書かず、「f (a , a)
」(あるいは「f (b , b)
」)と書く。また、「f (a , b) . ~a = b
」とは書かず、「f (a , b)
」と書く。
(∃x , y) . f (x, y) . x = y
」とは書かず、「(∃x ) . f (x, x)
」と書く。また、「(∃x , y) . f (x, y) . ~x = y
」とは書かず、「(∃x , y) . f (x, y)
」と書く。(∃x , y) . f (x, y)
」は「(∃x , y) . f (x, y) .V. (∃x ) . f (x, x)
」と書く。)
(x) : fx ⊃ x = a)
」と書く代わりに、たとえば「(∃x) . fx .⊃. fa : ~(∃x , y) . fx . fy
」と書く。x
が f()
を満足する」という命題は「(∃x) . fx : ~(∃x , y) . fx . fy
」となる。
a = a
」、「a = b . b = c .⊃ a = c
」、「(x) . x = x
」、「(∃x ) . x = a
」等々といった擬似命題は、正しい概念記法では書くことさえできないことが分かる。
a = a
」や「p ⊃ p
」といった形式の表現を使いたくなる場面もある。実際、プロトタイプについて、すなわち命題、もの、等々について論じようとする場合である。たとえば、ラッセルは「数学の諸原理」において「p は命題である」というナンセンスを「p ⊃ p
」と記号化し、これを前提として命題の前に置くことによって、その項の位置をただ命題だけが占めることができるとしたのであった。p ⊃ p
という前提を置くことによって、その命題に正しい形式の項を保証しようとすることは、以下の理由からしてすでにナンセンスである。なぜならば、項として命題でないものを p
に代入した場合、前提 p ⊃ p
は偽ではなく、ナンセンスとなる。またその前提によって保護しようとしている命題自身も、正しくない種類の項を代入されたならばナンセンスになる。それゆえ、正しくない項を代入させないようにするという点では、保護されるべき命題と保護するために付加された無意味な前提とは、まったく一蓮托生なのである。)
~(∃x ) . x = x
」で表現したくなるかもしれない。しかし、仮にこれが命題であったとしても、それは「ものが存在し」、かつそれが自分自身と同一でない場合にもまた、やはり真となってしまうのではないか。
A
は p
であると信じている」や「A
は p
と考える」といった心理に関する命題形式において、そのように思われる。p
が対象 A
とある種の関係を持っているかのように見えるのである。A
は p
であると信じている」、「A
は p
と考える」、「A
は p
と語る」は、明らかに「"p"
は p
と語る」という形式になる。すなわちここでは、事実と対象との対応関係ではなく、それら事実に対応する対象間の対応関係を介した、事実相互の対応関係なのである。
A
が p
と判断する」という命題形式の正しい説明には、ナンセンスを判断することが不可能であることを示さねばならない。(ラッセルの理論はこの条件を満たしていない。)
[
p
*, ξ,
N (ξ)
*]
*である。N (ξ)
を繰り返し適用した結果である、ということにほかならない。
Ω' (η)
の一般形式は [ξ、N(ξ)]'(η)(=[η, ξ, N(ξ)])
である。x = Ω0'x
Ω'Ων'x = Ων+1'x
x, Ω'x, Ω'Ω'x, Ω'Ω'Ω'x, ・・・
Ω0'x, Ω0+1'x, Ω0+1
+1
'x, Ω0+1
+1+1
'x, ・・・
x, ξ, Ω'ξ
] の代わりに、 次のように書く。Ω0'x, Ων'x, Ων+1'x
]0 + 1 = 1
0 + 1 + 1 = 2
0 + 1 + 1 + 1 = 3
0, ξ, ξ+1
] である。
p
」と「~p
」を「~(p . ~p)
」と結合するとトートロジーを与える。それは「p
」と「~p
」が互いに矛盾していることを示している。命題「p⊃q
」、「p
」、「q
」を「(p⊃q) . (p) :⊃: (q)
」という形式に結合するとトートロジーを与える。それはp
と p⊃q
から q
が帰結することを示している。「(x) . fx :⊃: fa
」がトートロジーであることは、 (x) . fx
から fa
が帰結することを示している。等々。
p
」「q
」[r
」等に代えて「真p偽
」「真q偽
」「真r偽
」等と書く。真偽の組み合わせは括弧を用いて表現する、図が例である。p⊃q
という命題を表すことになるだろう。そこで、命題 ~(p . ~p)
(矛盾律)を例にとってトートロジーかどうかを調べてみよう。われわれの表記法では「~ξ
」という形式はこう書かれる。ξ . η
」という形式はこう書かれる。~(p . ~q)
はこのようになる。q
」のところに「p
」を代入し、一番外側の真・偽と一番内側の真・偽の結びつきを調べてみれば、各項のすべての真・偽の組み合わせに対して、命題全体が真であることが結びついており、偽は結びついていないということが明らかになる。p
」と「q
」が「p⊃q
」の形に結合されてトートロジーを与えるとすれば、そのとき q
が p
から帰結するということは明らかである。q
」が「p⊃q . p
」から帰結することを、われわれはこれら二つの命題そのものから見てとる。しかし、同じことを次のやり方で示すこともできる。それら二つの命題を「p⊃q . p :⊃: q
」の形に結合し、そしてそれがトートロジーであることを示すやり方である。
( 1 + 1 ) + ( 1 + 1 )
」と解釈できること、これが「1 + 1 + 1 + 1
」の性質である。
(Ων)μ'x = Ωνxμ'x
Ω2x2'x = (Ω2)2'x = (Ω2)1+1'x = Ω2'Ω2'x = Ω1+1'Ω1+1'x
(Ω'Ω)'(Ω'Ω)'x = Ω'Ω'Ω'Ω'x = Ω1+1+1+1'x = Ω4'x
a
と b
は、