数理逻辑中的5种常用连线词之一。记作“→ ”。它是二元运算。相当于“如果……那幺……”、“因为……所以……”、“只要……就……”等。也可称为“蕴涵”。“p→q”读作“如果p，那幺q”，其中p称为前件，q称为后件。