3.4.3 纵向结构的逻辑推演