一个有效的三段论的大前提是特称否定判断,请写出该三段论的推理形式,并说明推导过程。
出自:法学