“如果两个判断是互相矛盾的，那么它们就不能同真；这两个判断不是互相矛盾的；所以，这两个判断是同真的。”

这个推理属于何种推理？是否正确？为什么？