以上皆是()是从一般的大前提到特殊的逻辑推理方法