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ó