演繹推理;肯定前件論式;取式" />