бұл жағдайда бөлінбейтін деп аталады мысалы нақыт дедуктивті жүйедегі қорытындылар логикалық есептеудің жүйесін қарастырайық негізін қалаушысы