[其他] 等價的證明？

看板Math作者 (達)時間5年前 (2020/12/10 16:49), 5年前編輯推噓1(1推 0噓 6→)
留言7則, 3人參與, 5年前最新討論串1/1
https://imgur.com/CFUPSsN
https://imgur.com/TQwqZ1a
有特殊符號 所以拍圖給大家看 想請問 這本書裡證明等價的方式 數學上真的是這樣證明？ 還是書的證法是作者講給科普讀者看的簡化證明 真正的數學證明不是這樣證的 有更嚴謹的證法 thanks -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 107.161.88.23 (美國) ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1607590142.A.8BC.html
→
12/10 16:56, 5年前 , 1F
有看起來比較機械式的沒錯，但這證明並沒有不行
12/10 16:56, 1F
→
12/10 16:58, 5年前 , 2F
如果要嚴謹的話就是要從公理開始
12/10 16:58, 2F
→
12/10 17:00, 5年前 , 3F
用推理規則慢慢拆開再合回去
12/10 17:00, 3F
感謝 ※ 編輯: dharma (107.161.88.23 美國), 12/10/2020 17:10:27
推
12/10 18:05, 5年前 , 4F
12/10 18:05, 4F
→
12/11 14:46, 5年前 , 5F
12/11 14:46, 5F
→
12/11 14:46, 5年前 , 6F
#Notational conventions
12/11 14:46, 6F
→
12/11 14:48, 5年前 , 7F
在 Axiomatic Set Theory 跟 Logic 內很常見的
12/11 14:48, 7F
‣ 更多 dharma 的文章
文章代碼(AID): #1VqU3-Yy (Math)