运用形式逻辑去分析解决问题的方法

作为一名软件工程师，大部分的工作时间都在处理各种各样的问题。这些问题发生在不同的技术领域，不同的技术方向，不同的模块，甚至不同的环境下，不一而足，就像数学中的自然数可数无穷一样，我们可以一个个遍历它，但是无法穷尽所有的问题。这多少有点悲观，难道我们就没有办法了么? 不是这样的，问题有无数种，但是解决问题的通用思考方法却是有的，我们从一个数学概念讲起。

必要条件和充分条件

再进一步讨论之前，先来复习一下什么是必要条件和充分条件，这个概念应该是初中数学讲述的，并不陌生，但是真正能够掌握其确切定义的人却很少，如果用机械的方式加以定义，就是：

“当命题 ‘若p则q’ 为真，则p为充分条件，q为必要条件"

如果不结合具体的示例，可能很少有人会理解这句话，我们再分析的详细一点：

必要条件：对某事件的成立来说（至少）必要的条件。

充分条件：对某事件的成立来说（足够）充分的条件。