千米小说网

第九次 对待关系（第3页）

兹设EI为矛盾，IO为小反对，

求证EO为等差。

证：

合①与②，依界说，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

“是的，我想的正是这个意思，不过我表示不清楚，谢谢您的帮助……这种推论方式叫作什么呢？”他又思索着。

“这种是三段式的推论方式。”

“您以后有机会可以把这种推论方式讲讲吗？”

“三段式的推论方式很重要，有机会也是要研究研究的。”