【SEOテキスト】宇田雄一「古典物理学」∃α,β∈R(4);【1】and【2】【1】S(α)にAが実在し、S(β)にBが実在する。【2】α(4)=β(4)=t
and|α(3)-β(3)|=d③Aを事象とし、tを実数とするとき、「Sで計ってAの起こった時刻がtである」とは、次の条件が成り立つことだ。∃α∈R(4);[S(α)でAが起こった]and[α(4)=t]④A,Bを事象とし、Tを実数とするとき、「Sで計ってAが起こってからBが起こるまでの時間がTである」とは、次の条件が成り立つことだ。∃t1,t2∈R;【1】and【2】and【3】【1】Sで計ってAの起こった時刻がt1だ。【2】Sで計ってBの起こった時刻がt2だ。【3】t2-t1=T⑤A,Bを事象とするとき、Sで計ってAが起こってからBが起こるまでの時間が0であることを、「Sで計ってAとBが同時に起こった」と言う。⑥A,Bを事象とするとき、「Sで計ってAとBが同位置で起こった」とは、次の条件が成り立つことだ。∃α,β∈R(4);【1】and【2】【1】S(α)でAが起こり、S(β)でBが起こった。【2】α(3)=β(3)⑦A,B,Cを点状物体とし、tを実数とするとき、「Sで計って時刻tにA,Bを通る直線とB,Cを通る直線が直交する」とは、次の条件が成り立つことだ。∃α,β,γ∈R(4);【1】and【2】and【3】【1】S(α)にAが実在し、S(β)にBが実在し、S(γ)にCが実在する。【2】(4)=(4)=(4)=t
and α(3)≠β(3)≠γ(3)【3】|α(3)-β(3)|2+|β(3)-γ(3)|2=|α(3)-γ(3)|2
|
