证明

以下是聊天记录

小豆老师

可是你这个推导相当于把原命题抄了一遍

小豆老师

sch2333

em

sch2333

证明不就是这样吗

小豆老师

我感觉替换才是逻辑的根本

sch2333

所谓命题的证明，就是在曲折的道路上放置一系列标记，使得每两个标记之间显然可得

sch2333

命题本身成立与否是不需要证的

sch2333

证明只是让人能理解命题成立与否的

CR_019

[CQ:reply,id=1676038542][CQ:at,qq=859345316] 那你把x替换成y啊

sch2333

所以越是天才的人，证明步骤往往越跳

CR_019

不就证出来了

sch2333

因为他们的显然可得和一般人不一样