# 數學證明

[目錄呈現與來源綁定資料](https://ocme.evemisslab.com/data/i18n/catalogue.en.json)



## [數學證明](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-proof/)

由明示前提與合法推理建立結論的過程。

atlas-proof · canonical_mko

[數學證明](https://ocme.evemisslab.com/zh-Hant/mko/mko-proof/)

## 前置節點


- [邏輯連接詞](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-logical-connectives/)