关系推理的根据是（）的逻辑性质；当aRb真、bRa假或真时，R是（）。