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