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