Импликация

операция, образующая сложное высказывание из двух высказываний посредством логической связки, соответствующей по смыслу союзу "если…, то…". Импликати́вный — характеризующийся импликацией.