( лат. implicatio .сплетение, переплетение) логическая операция, образующая сложное высказывание из двух высказываний посредством логической связки, соответствующей союзу если..., то... .