薀涵

逻辑名词。判断中前后两个命题互为条件的关系叫“蕰涵”。表现形式是“如果……则……”。