Az eldöntés tétele

Általános feladat: Adott egy N elemű sorozat és egy, a sorozat elemein értelmezett T tulajdonság. Az algoritmus eredménye: annak eldöntése, hogy van-e a sorozatban legalább egy T tulajdonsággal rendelkező elem.

Algoritmus:

Eljárás
 I:=1
 Ciklus amíg I<=N és A(I) nem T tulajdonságú
  I:=I+1
 Ciklus vége
 VAN:=I<=N       //a VAN egy logikai változó, amely csak akkor igaz értékű, ha I<=N
Eljárás vége