命题逻辑(联言选言负命题)