alap rezolúciós tétel

Kapcsolódó fogalmak: 
rezolúció
Kapcsolódó fogalmak: 
rezolúciós lezárt
Kapcsolódó fogalmak: 
ítéletlogikai határozott klóz
Kapcsolódó könyvfejezetek: 
7.4. Az ítéletkalkulus következtetési mintái
Rövid szöveges bemutatás: 
A rezolúció fogalma az ítéletlogikában jelenik meg. A rezolúció teljességi tétele más néven a rezolúciós alaptétel: Ha klózok egy halmaza kielégíthetetlen, akkor ezeknek a klózoknak a rezolúciós lezártja tartalmazza az üres klózt.