第二节 量子复合命题形式及其真值函项