[单选题]□¬p┠¬◇p是基于（ ）关系的推理。