第二节 刻画动态信息的逻辑方法