逻辑形式包括哪两部分内容