常用逻辑用语——命题及其关系到四种命题