Логическая операция, соединяющая два высказывания при помощи связки «если, …, то …», называется:

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