Intuitively, such a preference on the premise order aligns with human preference (Dekeyser et al., 2000) because in the preferred order, each derivation step can be done on-the-fly while looking at premises one by one, without needing to look back and forth across all premises at each step.
직관적으로, 전제 순서에 대한 이러한 선호는 인간의 선호와 일치합니다 (Dekeyser et al., 2000). 선호되는 순서에서는 각 도출 단계를 전제를 하나씩 보면서 즉석에서 수행할 수 있으며, 각 단계마다 모든 전제를 앞뒤로 살펴볼 필요가 없습니다.
직관적으로, 이러한 전제 순서에 대한 선호는 선호 순서에서는 각 도출 단계가 각 단계마다 모든 전제를 앞뒤로 훑어보지 않고 전제를 하나씩 보면서 즉석에서 수행될 수 있기 때문에 인간의 선호도(Dekeyser et al., 2000)와 일치한다.