Из Логика А.М.Руденко

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

logic