循环不变式的建立是在循环体中选取一个点，在该点建立一个逻辑表达式，使每次循环执行到该点时

循环不变式的建立是在循环体中选取一个点，在该点建立一个逻辑表达式，使每次循环执行到该点时
A.这个逻辑表达式在循环体中总是为真
B.这个逻辑表达式在循环体中总是为假
C.这个逻辑表达式在循环体中不总是为真
D.这个逻辑表达式在循环体中不总是为假
正确答案：这个逻辑表达式在循环体中总是为真