逻辑方阵上的上反对关系是一种什么样的关系?逻辑方阵上,全称肯定判断和全称否定判断之间形成“上反对”关系。这是一种不能同真但可以同假的关系。由于不能同真,因而一个真则另一个必假;由于可以同假,因而一个假另一个不一定真。比如:
这一带所有的树都是果树。
这一带所有的树都不是果树。
这两个判断不可能同时都是真的,但有可能同时都是假的。
因为不会同时都是真的,所以可以由真推假:如果“都是果树”真,那么“都不是果树”就假,如果“都不是果树”真,那么“都是果树”就假。
因为可能同时都是假的,所以不能由假推真:不能因为“都是果树”是假的,就说“都不是果树”一定是真的;也不能因为“都不是果树”是假的,就说“都是果树”一定是真的。