逻辑学中的反对关系

逻辑学中的反对关系

上反对是指两个命题必有一假，可以同假；下反对是指两个命题必有一真，可以同真。上反对关系的推理规则是由一个命题为真可以推出另一个命题为假。但由一个命题为假却不能推出另一个命题的真假。下反对关系的推理规则是由一个命题为假可以推出另一个命题为真。但由一个命题为真却不能推出另一个命题的真假。