Mantıksal ilksavları, dolayısıyla öncülsüz çıkarım kuralları olmayan mantık dizgesi. || Krş.. ilksavlı mantık dizgesi.