上反对关系

（数学术语）

上反对关系的推理规则是由一个命题为真可以推出另一个命题为假，比如“所有的花都是有毒的”为真，那么“所有的花都是无毒的”一定为假。