A feladat kiírása
„Oldjuk meg szabályalapú következtetéssel az alábbi ítéletkalkulusbeli feladato-kat. Döntsük el melyik irányú következ-tetés lehetséges. Ha lehet, oldjuk meg a feladatot mindkét irányú következtet-éssel. A szabályok kialakításánál hasz-náljuk a kontrapozitív formát, ha az célravezető. Szükség esetén a disz-junkciókat szabályokká alakíthatjuk. Tények hiányában alkalmazzuk a korlátos célrezolúciót.”