| 形式逻辑我没有专门研究，但是略看过一眼，就记住这一条。有前提就能出结论，可以附加条件，也可以不附加条件。 |
| 形式逻辑我没有专门研究，但是略看过一眼，就记住这一条。有前提就能出结论，可以附加条件，也可以不附加条件。 |
| [331楼]在形式逻辑中，由A推出B，则A是B的充分条件，B是A的必要条件。 |
|
老宋，前提和条件不同，前提无需讨论，条件还需讨论。
有你老宋，你有爸爸是必要条件，但不是充分条件，还需有你妈妈。两个条件都具备了才有你。 |
| [338楼]看来你的确不懂充分条件，更不用说充要条件。 |
| 我认为理论和实验结果相符合才能是正确理论。你惧怕实验检验，说明你知道经不住检验的地方在哪里！ |
| 因为我知道，用相对论的钟，真正在S'系去测量真实的光速，绝对两方向存在差异。 |
|
我随便给你构造一个例子：
AB相向运动，其时空坐标分别表示为（xa,ta）、(xb，tb)，速度分别是dxa/dta=va，dxb/dtb=vb且vb=-va。现用相同的衍生规则衍生两套物理量： Xa=xa Xb=xb Ta=ta+kxa Tb=tb+kxb 根据上述4个衍生表达式可得: dXa/dTa=va/(1+kva) dXb/dtb=vb/(1+kvb)=-va/(1-kva) 于是，我们说AB以“相同”大小的dxa/dta、dxb/dtb相向运动，我们也可以说AB以“不同”大小的dXa/dTa、dXb/dTb相向运动。你认为后一种结论是对是错？你能通过实验证明那4个衍生表达式必然对还是必然错吗？ |
| 老宋，dX/dt表明的是速度，它是应该有基准物的，如果无基准物，相对速度可由任意速度合成，只要其差值等于va-vb. |
| 在太空有两个飞行物在你身边掠过，你也只能知道它和你的相对速度，你才能知道它有速度va或vb。 |
| 仅仅在前面我说的在S'系看两螺母速度也是相等的这个问题，相对论就解释不清。那就真需要在S'实地对两螺母进行测量（没要求你在S系测量），用测量结果证明真的在S'系看两螺母速度不同。 |
|
事实上，无需va=-vb约束，va和vb同方向也能有相同效果，理论上是检验不出对错的，因而实验也检验不出。 但是，如果va、vb、Va、Vb都是有基准物的，如场物质，那还是能检验出对错的。 |