任何逻辑形式都是由逻辑（）和（）两部分组成的。