A gyakorlat vázlata, célja
Szabályalapú következtetéssel megoldandó (megoldható) feladatok gyakorlása
A megoldás módszerének a bemutatása lépésről-lépésre
Itéletkalkulusbeli feladatok
- Előre haladó szabályalapú következtetés
- Visszafelé haladó szabályalapú következtetés
Elsőrendű predikátum kalkulusbeli feladatok