[其他] 等價的證明？

[dharma (達)]

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
→ Ricestone   : 有看起來比較機械式的沒錯，但這證明並沒有不行
→ Ricestone   : 如果要嚴謹的話就是要從公理開始
→ Ricestone   : 用推理規則慢慢拆開再合回去
感謝
※ 編輯: dharma (107.161.88.23 美國), 12/10/2020 17:10:27
推 kilva       : http://us.metamath.org/mpeuni/exnal.html
→ mp19990920  : https://en.wikipedia.org/wiki/First-order_logic
→ mp19990920  : #Notational conventions
→ mp19990920  : 在 Axiomatic Set Theory 跟 Logic 內很常見的