西安电子科技大学联结词$1.1.2软件学院办联结词“→”是自然语言中“如果．那么”“若则”蕴含词的内涵“只有才能”“除非否则”等的逻辑抽象。但需要注意的是，在自然语言中，如果前提为假，不管结论的真假，这个语句的意义往往无法判断。但在数理逻辑中，当前件P为F时，不管Q的真值如何，P→+Q的真值均为T，换句话说：“P→O真值为T，则有若P为T，则O也必为T，至于P为F时，Q为T还是为F无所谓”这称为“善意推定”例如：“若掌握的证据确凿，则是辛普森杀害了其前妻”该命题为真表明：（1）在掌握的证据确凿的情况下，是辛普森杀害了其前妻成立。（2）在掌握的证据不足的情况下，杀害其前妻的可能是辛普森也可能不是，这两者都可以接受。西安电子科技大学 软件学院 蕴含词的内涵 §1.1.2 联结词 “若掌握的证据确凿，则是辛普森杀害了其前妻” 该命题为真表明： （1）在掌握的证据确凿的情况下，是辛普森杀害了 其前妻成立。 （2）在掌握的证据不足的情况下，杀害其前妻的可 能是辛普森也可能不是，这两者都可以接受。 例如：