高二数学逻辑联结词与四种命题