6.真值函项的一般形式是这是命题的一般形式