| 形式逻辑我没有专门研究，但是略看过一眼，就记住这一条。有前提就能出结论，可以附加条件，也可以不附加条件。 |
| 形式逻辑我没有专门研究，但是略看过一眼，就记住这一条。有前提就能出结论，可以附加条件，也可以不附加条件。 |
| [327楼]也就是对于“速率相等、同时出发、相向运动”你都叫前提而不说是条件，对于A推出B，你只说A是B的前提，而不说A是B的前提条件，你一定要如此约定，那是你的自由。 |
| [331楼]在形式逻辑中，由A推出B，则A是B的充分条件，B是A的必要条件。 |
|
老宋，前提和条件不同，前提无需讨论，条件还需讨论。
有你老宋，你有爸爸是必要条件，但不是充分条件，还需有你妈妈。两个条件都具备了才有你。 |
| 好好看333楼，除非你想自己约定。还有，由你爸爸和你妈妈推导不出一定有你老王（若没有，前提就不能说你爸爸你妈妈） |
| 老宋，我坚持一种理论，就要用实践去检验。你不去检验，永远不知它正确。你说两螺母速率不等，但是我证明它们相等，这就需要去验证。你就需要在S'系制造出相应仪器去进行真实测试。 |
| 老宋，你有爸爸、妈妈已经是有你的充要条件了。充要条件也可当前提使用。 |
|
关于这个问题，我发了帖子至今没出来，我再简述一下：
你拒绝或不愿用实验去检验，是因为实验可能会得出和你理论不同的结果，比如场物质的影响。 |
| [338楼]看来你的确不懂充分条件，更不用说充要条件。 |
| 我认为理论和实验结果相符合才能是正确理论。你惧怕实验检验，说明你知道经不住检验的地方在哪里！ |
|
[339楼]我听过年轻人辩论的一个话题：描述结论永远不是真实的。这是一个哲学层面的问题，实质上应该是：描述结论不是被描述对象本身，这是因为要想获得描述结论，仅有描述对象是不够的，还需要有一套人为约定的描述规则（或描述方法），且随着约定规则的改变，描述结论可以是千奇百怪的。
我们可以去检验一个描述结论，但是一定是在一定约定下进行的检验。而时空变换属于人为约定的部分，本身没有必然性和唯一性，所以就不要想着通过实验证明只有某一时空变换才是唯一必然正确的。 |
| 因为我知道，用相对论的钟，真正在S'系去测量真实的光速，绝对两方向存在差异。 |
| 地面上速度为50米/秒的列车上叠加了20米/秒的汽车速度，汽车相对地面的速度就是70米/秒，而不是69.999……米/秒。牛顿力学不是相对论在低速下的近似。相对论的速度叠加公式也是经不起检验的。 |
|
我随便给你构造一个例子：
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个衍生表达式必然对还是必然错吗？ |
| 老宋，ta和tb、xa和xb如果属于不同计量约定，不可以用等号建立关系。 |
| ta和tb、xa和xb是相同计量约定下的结果，你再回答。 |
| 老宋，dX/dt表明的是速度，它是应该有基准物的，如果无基准物，相对速度可由任意速度合成，只要其差值等于va-vb. |
| 事实上，你这里隐去了基准物。你既然能计算出dx，必然存在一个基准，否则你出不来dx。 |
| 在太空有两个飞行物在你身边掠过，你也只能知道它和你的相对速度，你才能知道它有速度va或vb。 |
| va-vb可由多种速度合成，因而只提相对速度的话，你分不出对错。 |
| 基准之类的都可以由你去设计，这些都不是障碍，你只需回答那两个问题。 |
| 仅仅在前面我说的在S'系看两螺母速度也是相等的这个问题，相对论就解释不清。那就真需要在S'实地对两螺母进行测量（没要求你在S系测量），用测量结果证明真的在S'系看两螺母速度不同。 |
| [338楼]你真的不懂什么是充分条件，由你可以推论出你爸爸和你妈妈的存在，反过来则不可以，所以你是你爸爸你妈妈的必要条件。此种例子不要再提了。 |
|
事实上，无需va=-vb约束，va和vb同方向也能有相同效果，理论上是检验不出对错的，因而实验也检验不出。 但是，如果va、vb、Va、Vb都是有基准物的，如场物质，那还是能检验出对错的。 |
| 现在就是要追究你的va、vb是相对谁的。如果是相对场物质的，那Va、Vb也要相对场物质。 |