2.6 逻辑描述的一些问题