破解循环的方式
发布网友
发布时间：2024-06-03 11:56
共1个回答
热心网友
时间：2024-06-04 03:58
因为小明今天跑着去学校了，可见他没迟到。因为小明没迟到，可见他今天跑着来学校的。待证明的结论：小明今天不跑步一定会迟到。
因为是“待证明的”结论，必然是未知的，所以我给结论一个形式：小明今天不跑步不一定会迟到。
既然“不一定”会迟到，那么该结论“一定”和“不一定”在证明过程完成之前都是可行的和可能的。我们假设：小明今天不跑步会迟到1年。
把这个条件代入证明过程，形成三段论：
大前提：小明今天不跑步会迟到一年
小前提：小明今天跑步去学校
结论：小明没迟到。
（注意这个三段论是假的，错误的。只有把大前提改成“小明今天跑步去学校会早到一年”才能推出结论。）
对比：大前提：小明今天跑步去学校
小前提：小明今天不跑步会迟到一年
结论：小明没迟到（注意这个三段论等价于上面那个，只不过把大小前提交换了一下，这个三段论顿时变得看上去更加“合理”了。）
接着代入：
大前提：小明今天不跑步会迟到一年
小前提：小明没迟到
结论：小明今天跑步去学校
这个三段论成立。
把结论换成小明今天跑步也迟到。
大前提：小明今天跑步也迟到
小前提：小明没迟到
结论：小明今天跑步去学校
