5.2.1 原命题与逆否命题
相信通过上述介绍，大家对于A/B测试的分类以及实际工作中的应用有了更多的了解。但如果想从源头理解A/B测试在科学研究中的基本实验方法，需要对离散数学中的逻辑学和概率论以及数理统计中的假设检验有更多的了解。
笔者将从数学的角度简单介绍几个数学概念。
●命题：在逻辑学中，命题是以“如果……那么……”句式组成的一句话，表示因果关系，即一件事导致了另外一件事。
●原命题：“如果打了疫苗，那么不得流感”，可以记为“打了疫苗→不得流感”。
●逆命题：如果把条件和结论换一下位置，就得到了逆命题“如果不得流感，那么打了疫苗”，可以记为“打了疫苗←不得流感”。
●否命题：如果我们把条件和结论同时否定（可以理解为取反义词），就得到了否命题“如果不打疫苗，那么得流感”，可以记为“打了疫苗的否定→不得流感的否定”。
●逆否命题：如果我们将一个命题同时取逆命题和否命题，就得到了逆否命题“打了疫苗的否定”←“不得流感的否定”，也就是“如果得流感，那么没打疫苗”。
这看起来像是一个有趣的咬文嚼字，但在逻辑学却是十分重要的，因为假设检验的源头是“命题”，我们在做任何实验假设的同时其实就是在设立命题，并使用相应的手段去验证命题是真命题还是假命题。原命题等价于它的逆否命题，也就是说“如果得流感，那么没打疫苗”和“如果打了疫苗，那么不得流感”是完全等价的。
一个比较常见的逻辑错误是混淆了原命题和逆命题，如果A事件发生，那么B事件发生，说明A事件是B事件的充分条件，B事件是A事件的必要条件。但这并不代表A事件和B事件完全等价，只有“A事件发生导致B事件发生”并且“B事件发生导致A事件发生”同时满足，才可以称为“A事件与B事件等价”。
关于逻辑学的简单科普就到这里，大家在做实验假设时一定要将自己假设的命题写在策略文档中，并且将命题中的“条件”和“结果”明确地区分出来。比如在内容推荐产品中，我们的假设是，为用户推荐色彩饱和度更高的封面图会促进用户的点击行为，那么在策略文档中可以写为：“如果用户看到了色彩饱和度更高的封面图，那么用户会做出更多的点击。”