Проверьте результаты вычислений.
for i in range (size):
S += Array [i]
for i in range (size):
P1 *= Array [i]​

Наверное нам надо все таки определить кто из нас главный.- подумав сказал процессор. Ну что ж, Я не против продолжили клавиатура и  память. Я думаю что самым главным органом является ...
Я- перебила клавиатура и начала быстро шурша клавишами кричать во весь голос. Как вы сможете вводить информацию если не будет меня? Да вы даже свои имена не напишете.. По этому я должна быть главной.
   Погоди ка Клава перебил процессор а ведь я тоже не дурак. Ну введешь информацию а кто будет обрабатывать её? Кто будет всё это рассчитывать, все эти биты байты мегабайты? По этому я тут подумал и вычислил себя самым главным.
    Коллега дайте и мне сказать своё слово - сказала память. Как мне не изменяет моя терабайтная память ваши расчеты и ваши вводы информации без меня ровно слова на ветер. Да, да. Как вы будете помнить завтра то что вы сейчас обсуждаете сегодня. Я же ваш мемори. И по этому. Безусловно я являюсь самым главным органом.
   Они спорили очень долго долго пока компьютер совсем не завис окончательно.

Честно, не поняла ваш код вообще. Почему нет цикла? Предлагаю свое решение:
1)Cначала заполняем массив случайными числами от 2 до 5 (включительно)
2)Потом выводим его (Для проверки)
3) Потом считаем оценки. Но сначала нужно обнулить переменные( В самом начале это делали), а то получится кака (:

program N_0547847;
var
    b, c, d, f, i:integer;
    a: array [1..20] of integer;
begin;
randomize;
b:=0; c:=0; d:=0; f:=0;
for i:=1 to 20 do begin
  a[i]:=random(4)+2; 
  write(a[i],' '); end; 
writeln;
for i:=1 to 20 do begin
    if a[i]=2 then  b:=b+1;
    if a[i]=3 then  c:=c+1;
    if a[i]=4 then  d:=d+1;
    if a[i]=5 then   f:=f+1;
end;
writeln('Двоек: ', b); 
writeln('Троек: ', c); 
writeln('Четверок: ',d);
writeln('Пятерок: ',f);
end.