Rezolúciós gyakorlatok - ítéletkalkulus és predikátumkalkulus

Kapcsolódó könyvfejezetek: 
9.5. Rezolúció
Kapcsolódó könyvfejezetek: 
9.6. Összefoglalás