логическая функция Pascal

[Maren_yar]

Здравствуйте!
Задание такое: Составить логическую функцию, которая не использует массивов и проверяет, выполняется ли свойство: 1)наличия нулевых элементов в некотором файле; 2)упорядоченности элементов некоторого файла по убыванию. С первым заданием проблем не возникло, а вот второе не знаю, как решить. Прикрепляю в качестве примера код для первого задания.

uses crt;
var R:file of real;
procedure logik(f:file of real);
var i,k:integer; s:real;
begin
k:=0;
assign(f,'F:\программирование\12 лаба\f1');
reset(f);
for i:=1 to 6 do begin
eof(f);
read(f,s);
if s=0 then k:=k+1;
end;
close(f);
if k<>0 then writeln('В файле имеются 0, их количество равно ',k)
        else writeln('В файле не имеется 0');
end;

begin
writeln;
logik(R);
end.

[digitalis]

Ну это не логическая функция. Она бы должна выглядеть как-то так:

function logik(f:file of real) : Boolean;
var i,k:integer; s:real;
begin
.......
logik := k > 0 ;
end;
.......
  Write ('Нулевые элементы '); 
  if logik(R) then Writeln (' есть ') else Writeln (' отсутствуют ');

Со вторым просто: завести логическую переменную, присвоить ей начальное значение

  flag := true ;
  // Прочитать вне цикла первый элемент, пусть будет а ;
  read(f,а);
 // В цикле, начиная со 2-го элемента:
  read(f,s);
  if (s<a) then a := s else 
      begin flag := false ; Break end ;
...........
   logik := flag ;
   end ;

А почему цикл до 6, а не до eof ?
Вот тут он есть - а к чему он, если его результат ни на что не влияет ?

eof(f);