跳去內容

形式證明

出自維基百科，自由嘅百科全書

形式證明係邏輯同數學上嘅一個概念。形式化噉證明 X 意思係指用一串長度有限嘅命題，當中每條命題都係公理、假設或者可以由打前嘅命題度推理出嚟，再用呢串命題推理出 X，從而帶出「如果上面嗰拃命題成立，X 都實會成立」噉嘅宣稱[1]。

睇埋

[編輯]

引咗

[編輯]
  1. ↑ Barwise, Jon; Etchemendy, John Etchemendy (1999). Language, Proof and Logic (1st ed.). Seven Bridges Press and CSLI.
由「https://zh-yue.wikipedia.org/w/index.php?title=形式證明&oldid=2296616」收