Верно ли, что условными называют утверждения, составленные с помощью логической конструкции если ..., то ...?

Условные утверждения (импликации) строятся с использованием логической связки "если ..., то ...".
Следовательно, данное утверждение верно.