下反对关系，存在于O为I之间。具有下反对关系的两个判断，不能同假，可以同真。因此可以由一个判断为假，推出其下反对判断为( )。