在算法中判定某个事实真假性的语句。

• A statement of fact to be tested for truth or falsehood within an algorithm.