논리적 반사실
수학적 정리나 알고리즘의 결과와 같은 논리적 사실이 실제와 달랐을 경우를 가정하는 추론 방식이다. 물리적 세계의 변화가 아닌 논리적 구조 내에서의 가상적 변화를 다루며, FDT 에이전트가 자신의 알고리즘 출력을 가상으로 변경해 볼 때 사용된다.