Einstein特殊相対論の根拠となった実験であるマイケルソン・モーレーの実験の数式をつかった説明が日本語版ウィキペディアにないので、初等的に解説しておく。{p⇒q∧￢q}∴￢p　（背理法）をどう適用しているか明示した説明になっている。