loģikas kompaktums