Как называется операция, соответствующая связке «если ... то»?

• отрицание
• конъюнкция
• эквивалентность
• импликация
• дизъюнкция