Rezolúciós gyakorlatok - ítéletkalkulus és predikátumkalkulus
Fogalmak:
rezolúció
Fogalmak:
rezolució következtetési szabály
Kapcsolódó könyvfejezetek:
9.5. Rezolúció
Kapcsolódó könyvfejezetek:
9.6. Összefoglalás