
如果甲是乙的充分条件,那么当甲成立时乙也成立。(双肯)
如果甲是乙的必要条件,那么当甲不成立时乙也不成立。(双否)
充分不必要条件、必要不充分条件和充分必要条件的概念同上。是上述两种命题的是非组合。
命题条件的概念可以与因果关系等同。因为命题关系和因果关系本质上就是映射。映射是比函数更广的概念。映射不仅仅可以由数组成,也可以由各种各样的元素组成。和集合概念一致。由条件甲通过一定法则导出结论乙可以通俗理解为甲的因导致乙的果。甲的输入基于一定的法则映射乙的输出。
用集合观点看,如果一个小集合真属于一个大集合,那么小集合就是大集合的充分不必要条件,大集合是小集合的必要不充分条件。如果两集合等价,那么这两集合互为充要条件。
用函数映射观点看,当输入元素多对一输出元素时,每个输入元素是对应的输出元素的充分不必要条件。当输入元素一对多输出元素时,该输入元素是每个对应的输出元素的必要不充分条件。当输入元素一对一输出元素时,该输入元素与输出元素互为充要条件。
