→ NNAA : 都一樣 並無不同XD 10/02 22:38
推 annboy : 應該就是同個字一直用會很膩 10/02 22:56
→ LiamIssac : 基本一樣 大概就是比較潮的用法 10/02 23:09
推 j0958322080 : 那for any 跟for all有什麼不同？ 10/03 00:03
→ wohtp : 一個接單數名詞一個接複數名詞 10/03 00:11
推 alan23273850: 痾 我以為show就是寫法上不用比proof嚴謹，只要邏 10/03 11:09
→ alan23273850: 輯正確就好了耶？ 10/03 11:09
→ alan23273850: 不過其實還是差不多啦 唯一可以確定的是verify和pr 10/03 11:10
→ alan23273850: ove一定不一樣 10/03 11:10
verify 得先給的比對的標準 然後把要被比對的對象例如自己算的結果比對
是否一致
推 doom8199 : 要細分差異，有一種使用情境是: "前提"假設為真 10/03 13:07
→ doom8199 : (但實際上違背既有"認知")，這時使用 show 較貼切 10/03 13:07
→ doom8199 : ex: if 1>2, then we can show that ... 10/03 13:08
※ 編輯: saltlake (220.136.57.168), 10/03/2017 14:32:17