Hivatkozók

• bizonyítás

Mesterséges Intelligencia

• 7.4. Az ítéletkalkulus következtetési mintái
• 7.7. Összefoglalás
• 7.8. Összefoglalás
• 9.2. Egyesítés és kiemelés
• 9.5. Rezolúció