爱因斯坦的新逻辑

S1惯性系的观测者说：已知x1=ct1 、x2不等于ct2 （因为S1惯性系的观测者认为：S1惯性系的钟是同步的、光波Q的传播方程为x1=ct1而S2惯性系的钟是不同步的、光波Q的传播方程不为x2=ct2），

S2惯性系的观测者说：已知x2=ct2、x1不等于ct1（因为S2惯性系的观测者认为：S2惯性系的钟是同步的、光波Q的传播方程为x2=ct2而S1惯性系的钟是不同步的、光波Q的传播方程不为x1=ct），

爱因斯坦说：根据S1惯性系的观测者已知的x1=ct1和S2惯性系的观测者已知的x2=ct2可以推导出S1、S2两个惯性系的观测者都承认的洛伦兹变换公式。

爱因斯坦在这里发明了一个‘可以用非共识的前提条件去推导共识的结论'的新逻辑。