下反对关系是指I与O的关系之间可以同真,但不能同假.于是,有一个为假,可以逻辑地推出另一个为真；但从一个为真,不能确切地知道另一个的真假. 例如,已知“有些中国人是大奖获得者”为假,则可以推出“有些中国人不是大奖获得者”为真；但是,从“有些花朵是有毒的”为真,却不能推出“有些花朵不是有毒的”的真假.