蕴含：→.就相当于日常语言中的“如果……那么……”.属于命题逻辑中的假言命题,从日常的用法就可以知道,A蕴含B的意思就是如果A真,那么B一定真.关于假言命题的逻辑推理主要就两种：推理一前提：A→B真,A真结论：B真...