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