for j:=1 to length(s) do begin
  if  s[j] <> ' ' then begin
    found := false; { <--- Надо запоминать, было ли найдено что-то в массиве или нет }
    for i:=1 to v do begin
      found := false or (m[i] = s[i]);

    if not found then
      writeln('nedopustimyi symvol ',s[j], ' na pozicii' , j);
  end;

Цитата(qweds @ 10.04.2007 10:42)

соответственно проверяю по 1 символу из массива каждый символ в строке, но из кода видно, что это неправильный подход т.к. результат будет выводиться 3 раза (для случая если все символы недопустимые)
или почти 3 раза

var ....
      ns :boolean; {вводим логическую переменную}
 ....

for j:=1 to length(s) do
  if  s[j]<>' ' then begin    {так нагляднее}
    i:=1;
    ns:=false;
    while (not ns) and (i<v) do begin {ищем первое совпадение символа в массиве}
      inc(i);
      ns:=(m[i]=s[j]); {если символы совпали, то ns=true правда}
    end;
    if not ns then writeln('nedopustimyi symvol ',s[j], ' na pozicii' , j);

  end;