逻辑学中的蕴含是什么意思 怎么理解?

蕴含：→。就相当于日常语言中的“如果……那么……”。属于命题逻辑中的假言命题，从日常的用法就可以知道，A蕴含B的意思就是如果A真，那么B一定真。
关于假言命题的逻辑推理主要就两种：
推理一
前提：A→B真，A真
结论：B真
推理二
前提：A→B真，B假
结论：A假
这是非常通俗的介绍，如果你看的是专业书的话会专业化些。

蕴含：→。就相当于日常语言中的“如果……那么……”。属于命题逻辑中的假言命题，从日常的用法就可以知道，A蕴含B的意思就是如果A真，那么B一定真。
关于假言命题的逻辑推理主要就两种：
推理一
前提：A→B真，A真
结论：B真
推理二
前提：A→B真，B假
结论：A假
这是非常通俗的介绍，如果你看的是专业书的话会专业化些。

有两种蕴含，（实质）蕴含→和逻辑蕴含。
其中，前者，是命题逻辑中表达两个命题真值关系的一种符号，对命题P、Q，P→Q，
真→真，为真；
真→假，为假；
假→真，为真；
假→假，为真。
而逻辑蕴含，实际上就是条件重言式，即如果在任何P为真的解释中，Q都为真，那么就说P逻辑蕴含Q，或者说Q是P的逻辑后承，记为P|=Q.