[练习题]任何一种逻辑形式都是由两部分构成的，一是逻辑常项，二是。