命题逻辑联言、选言、负命题