第5节 “命题是诸基本命题的真值函数”