高中数学常用逻辑术语命题及其关系四种命题四种命题间的相互关系