Ответ:

В высказывании используется логическая операция импликация («если ..., то ...»).

Ответ: импликация.