充要条件

上周在写代码的时候脑袋里一直萦绕着奥卡姆剃刀法则，如无必要，勿增实体。也不知道为什么。

后来仔细想了想其实 剃刀法则和充分必要条件所蕴含的道理是一样的。

比如我们的推理过程 从A推理到B 一般我们写代码都会确认A到B是充分的，但是很少会思考A是B的必要的。当然不是说所有的推理都需要是充要条件。因为这也是不可能的。

假如现在有个C，C是包含在A里面的，所以呢从集合的角度来思考那么是可以推出C到B是充分的。那么属于A中但是又不属于C的元素呢？

他们的存在是合理的吗？在软件中整个流程的运行是合适的吗？这个可以用剃刀法则来看 也可以用充要条件来看。

但是剃刀法则实际上从概念上和充要条件不是对等的。

剃刀法则首先要确定问题的研究范围，如无必要，勿增实体。本身就蕴含着需要有个边界。确定边界的过程就是法则应用的过程。

说到这里其实人们不是不懂这些道理，而是说人们在具体的应用中会有所差距，而这些差距是每个人的经验和经历造成的。

但是充要条件是肯定的大家都承认的。