[单选题]（ ）是依据有序事物间的关系进行的推理，它给出的两个前提说明了三个逻辑项之间的可传递性的关系。