逻辑学中的蕴含是什么意思 怎么理解?
逻辑学中的蕴含是什么意思 怎么理解?
蕴含:→。就相当于日常语言中的“如果……那么……”。属于命题逻辑中的假言命题,从日常的用法就可以知道,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.
相关内容