复合命题是（）的命题，其命题形式的变项是（）。