展开 逻辑的形式包括哪几种