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