2. запишите с кванторов следующие утверждения: а) “существует x, такой что x > y”. б) “не существует x, такой что x > y”. в) “для любого x имеем x2> 1”.

var slovo,simval: string; i,k: integer; begin k: =0;   write('введите имя и фамилию '); readln(slovo); write('введите символ '); readln(simval); for i: =1 to length(slovo) do begin if slovo[i]=simval then k: =k+1; if slovo[i]=simval then writeln(i,' '); end; if k> =1 then  writeln('да, встречается ',k,' раз, на позиции ',i)else writeln('нет'); end.

я немножко перевыполнил) от показывает есть симаол или нет, если есть то сколько раз он входит и на какой  

ну в метро, или если ты турист то картой, не?