Legyen .

és . írd fel az halmazt!

Mivel egyenlő ?

Legyen tetszőleges állapottér, . Igaz-e, ha

akkor

Igaz-e, hogy ha , akkor ?

Igaz-e, ha , akkor ?

programok. Igaz-e, ha esetén , akkor ekvivalens -vel?

. .

. ?

Adott az állapottér és a paramétertér, továbbá az és feladatok.

specifikációja pedig:

Azonosak-e az és feladatok?

Tekintsük az alábbi két feladatot: specifikációja:

Megadható-e valamilyen összefüggés és között?

Írd le szövegesen az alábbi feladatot: legyen ,

ahol ,

Igaz-e a specifikáció tételének megfordítása? (Ha megoldja -et, akkor )

Tekintsük az alábbi feladatot:

ahol .

Mit rendel a fent specifikált feladat az és a pontokhoz? Fogalmazd meg szavakban a feladatot!

specifikációja:

Megadható-e valamilyen összefüggés és között?

Adott egy függvény. specifikációja:

specifikációja:

Azonos-e a két feladat?

Specifikáljuk a következő feladatot: és .

,