亚里士多德的必然三段论

本文从亚里士多德关于必然三段论的原文出发，考察了亚里士多德的必然三段论的系统、证明方法和排斥方法，在此基础上构造了一个严格形式化的必然三段论的自然演绎系统，克服了亚里士多德的必然三段论理论中的不精确之处。