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