forward-derivability

문제가 좌에서 우로 순차적으로 도출될 수 있는지의 여부를 가리키는 개념으로, 왼쪽에서부터의 순차적 추론(Forward CoT)이 실제로 정당하게 가능할 때를 지칭한다.