天才一秒记住【狂风中文网】地址：https://www.kfzw.net
合①与②，依界说，OE为等差。
兹设IE为矛盾，EO为等差，
求证IO为小反对。
证：
合①与②，依界说，OI为小反对。
兹设AO为矛盾，OI为小反对，
求证AI为等差。
证：
合①与②，依界说，AI为等差。
兹设OA为矛盾，AI为等差，
求证OI为小反对。
证：
合①与②，依界说，OI为小反对。
兹设AO为矛盾，OE为等差，
试证AE为大反对
证：
合①与②，依界说，AO为大反对。
“还有一个没有证。
我已经证得太多了，剩下的一个留给二位试试，这样也可以得到一点逻辑训练。
二位觉得这样演证起来，太麻烦吗？”
“不，不，我们觉得这是一种很好的思考训练，可以使我们领会到谨严的思考方式是怎么回事。”
周文璞说。
“对了，这样才会入逻辑之门，而且会发生兴趣的。”
吴先生很高兴。
“吴先生，您的演证除了每一次系从一对矛盾语句之一的正反两面着手以外，好像都是循着一种推论方式进行的。
是不是的？”
王蕴理问。
“是的，如果将A、E、I、O撇开，并且不计其正负，而把证明的语句各别地代以a、b、c，那么我们就可以把这些证明依之而进行的推论方式写成这个样子。
是不是？”
a?b·b?c·?·a?c
“是的，我想的正是这个意思，不过我表示不清楚，谢谢您的帮助……这种推论方式叫作什么呢？”
他又思索着。
“这种是三段式的推论方式。”
“您以后有机会可以把这种推论方式讲讲吗？”
“三段式的推论方式很重要，有机会也是要研究研究的。”
本章未完，请点击下一章继续阅读！若浏览器显示没有新章节了，请尝试点击右上角↗️或右下角↘️的菜单，退出阅读模式即可，谢谢！