论文部分内容阅读
摘要:亚里士多德的三段论证明系统中有化归法、归谬法和显示法这三种方法。其中显示法在三段论系统的证明中只有三处提及,很多人认为这是一种应用不广泛且不重要的方法。本文详细地介绍了显示法应用的基本原理及应用规则。进而运用这些规则写出了三段論系统中未提及可用显示法证明的其他一些式的显示法具体证明。最后说明显示法在三段论系统中是可以在多处运用的,并且是一种很重要的方法。
关键词:三段论;式;显示法;强显示式;弱显示式
中图分类号:B812
关键词:三段论;式;显示法;强显示式;弱显示式
中图分类号:B812