【SEOテキスト】宇田雄一「古典物理学」[34]F=F4,n[35]Mを次式で定義する。M∈H(F)and[∀f∈F;M(f)=h4(P1,・・・,Pn;f;S,U)][36]N'をN'=N2,n∪N24で定義する。[37]∀(t,i,k)∈N2,n;[Ψ(t,i,k)を次式で定義する。Ψ(t,i,k)∈R(F)and∀f∈F;Ψ(t,i,k)(f)=e2(t,i,k;f(N2,n),f(N3),μ(P1,・・・,Pn;I,J))]さらに、∀(ξ,i,k)∈N24;[Ψ(ξ,i,k)を次式で定義する。Ψ(ξ,i,k)∈R(F)and∀f∈F;Ψ(ξ,i,k)(f)=e3(ξ,i,k;f(N3),f(N2,n),[μ(P1,・・・,Pn;I,J)](2,□))][38]∀f∈F;[L(f)によって次の文を表すことにする。∀i∈N';Ψi(f)=0][39]∀f∈F;L(f)⇔e4(f,μ(P1,・・・,Pn;I,J))[40]∀f∈F;[M(f)が可能だ]⇔L(f)[41]環境条件は真だ。この文章は、[15][24][27][29][32][34][35][36][37][39]の部分においてのみT2(P1,・・・,Pn;E;S,U,I,J)と異なる。歴史hが真であるためには、少なくともhが可能であることが必要だとするならば、T4(P1,・・・,Pn;S,U,I,J)は{T2(P1,・・・,Pn;E;S,U,I,J)|E∈F3}や{T3(P1,・・・,Pn;Y;S,U,J)|Y∈F2,n}の多くの元と矛盾することになる。T2の所で述べたのと同様の理由による。
|
