Eldöntés tétele

N elemű sorozat és egy a sorozaton értelmezett T tulajdonság. Van-e a sorozatnak legalább egy T tulajdonságú eleme?

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
Eljárás vége

("VAN" egy logikai változó, amely akkor és csak akkor igaz, ha I<=N)

Hasonló feladat: igaz-e, hogy a sorozat minden eleme T tulajdonságú?

Eljárás:
	I:=1
	Ciklus amíg I<=N és A(I) T tulajdonságú
		I:=I+1
   	Ciklus vége
	IGAZ:=I>N
Eljárás vége