第三节 不完全符号与命题函项