logical_implication функциональный объект для импликации