| 逻辑蕴涵 logical implication 逻辑学用语。(1)指逻辑学中所有各种蕴涵关系的统称。(2)指形式蕴涵的别称。(3)指用条件句表达理由与推断关系的一种蕴涵，这是一种狭义的逻辑蕴涵。它在“如果p那么q”中，专指前件表达的是理由，后件表达的是推断，前件与后件是理由与推断的这样一种逻辑联系。例如：“如果所有的金属是导电的并且铜是金属，那么铜是导电的”，“如果所有的鲸都不是鱼，那么所有的鱼都不是鲸”。它与充分条件假言命题所表示的蕴涵关系是有区别的。充分条件假言命题的前件与后件的关系虽然包含了理由与推断的关系，但不仅限于理由与推断的关系，它还可以是因果关系等等。 |