作者dharma (达)
看板Math
标题[其他] 等价的证明？
时间Thu Dec 10 16:49:00 2020
https://imgur.com/CFUPSsN
https://imgur.com/TQwqZ1a
有特殊符号
所以拍图给大家看
想请问
这本书里证明等价的方式
数学上真的是这样证明？
还是书的证法是作者讲给科普读者看的简化证明
真正的数学证明不是这样证的
有更严谨的证法
thanks
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 107.161.88.23 (美国)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Math/M.1607590142.A.8BC.html
1F：→ Ricestone : 有看起来比较机械式的没错，但这证明并没有不行 12/10 16:56
2F：→ Ricestone : 如果要严谨的话就是要从公理开始 12/10 16:58
3F：→ Ricestone : 用推理规则慢慢拆开再合回去 12/10 17:00
感谢
※ 编辑: dharma (107.161.88.23 美国), 12/10/2020 17:10:27
7F：→ mp19990920 : 在 Axiomatic Set Theory 跟 Logic 内很常见的 12/11 14:48