Импликация в математической логике: основные концепции и примеры