数理逻辑中的5种常用连接词之一. 数理逻辑中的5种常用连接词之一.记作"→ ".它是二元运算.相当于"如果......那么......","因为......所以......","只要......就......"等.也可称为"蕴涵"."p→q"读作"如果p,那么q",其中p称为前件,q称为后件.数理逻辑中的5种常用连接词之一.记作"→ ".它是二元运算.相当于"如果那么","因为所以","只要就"等.也可称为"蕴涵"."p→q"读作"如果p,那么q",其中p称为前件,q称为后件.