Логика

Укажите тип следующего сложного суждения: «Если лед нагреть до плюсовой температуры, то он растает».

импликация