展开 逻辑形式包括哪两部分