逻辑学里的“蕴含”是一种十分重要而复杂的关系.一般来说,A蕴含B,可以理解为日常语言的“如果A那么B”,因此可以将蕴含看作充分条件.如果A是充分条件的前件,B是后件,那么A蕴含B的意思就是有A必有B.蕴含还可以体现在推理中,前提蕴含结论,意思就是从前提可以必然地推出结论.所以,蕴含所表达的是一种“必然地得出”的关系.

　　如果“天气冷”蕴含“穿棉袄”,那就说明从“天气冷”可以必然地推出“穿棉袄”,或者说有“天气冷”这一条件,就必有“穿棉袄”这一结果.高中数学中的“小充分,大必要”也是这个意思.如果小集合真包含于大集合,那么一旦知道一个元素属于小集合,也就能必然地推出该元素属于大集合,而这种必然地推出关系正是蕴含.反过来,大推小就不是蕴含了,因为这种推理不是必然的.所以,并不是小推大不具有合理性,而是从小可以必然地得出大,这就是蕴含.简单地说,“蕴含”就是“必然地得出”.

　　希望能对您有用.

　　?

标签：蕴含必然可以集合