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