在多处理机中，两个程序段的变量x和y之间，为了交换数据，程序段1中有x=y，程序段2中有y=x，则这两个程序段可以顺序串行和交换串行，也可以并行执行，不必采取专门的同步措施。

根据两个对象在某些属性上的相同推出它们在另一些属性上也相同，这种推理属于______推理。