逻辑形式包括哪些类