Logika tulajdonságai
Fogalmak:
Boole logika
Fogalmak:
elsőrendű logika
Kapcsolódó könyvfejezetek:
7.3. A logika
Kapcsolódó könyvfejezetek:
7.4. Az ítéletkalkulus következtetési mintái
Kapcsolódó könyvfejezetek:
7.5. Hatékony ítéletkalkulus következtetés
Kapcsolódó könyvfejezetek:
9.5. Rezolúció