Какую операцию на формальном языке алгебры высказываний принято обозначать значком «→»?

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