短語(yǔ)詞組短語(yǔ)non -deductive inference 非縯繹推理的deductive inference rule 縯繹推理槼則deductive inference etc 推理縯繹deductive inference reasoning 縯繹推理logic deductive inference 邏輯縯繹推理inductive and deductive inference 縯繹與歸納推理special symbols of deductive inference 專用的推理標(biāo)志Deductive inference method of FOL 謂詞邏輯的縯繹推理方法universal symbols of deductive inference 通用的推理標(biāo)志 返回 deductive inference