后置条件是描述如果操作完成其任务时为真，则该操作的结果的语句或语句集。
后置条件语句指示操作完成其任务后将为真的内容。
要确定一个数字的平方根，前置条件是该数字应大于零。后置条件是在控制台上显示该数字的平方根。
