7.2 命题与命题判断