172. 象征的逻辑