形式證明

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

形式證明jing4 sik1 zing3 ming4英文formal proof)係邏輯數學上嘅一個概念。

「形式化噉證明 X」意思係指用一串長度有限嘅命題,當中每條命題都係

再用呢串命題推理出 X,從而帶出「如果上面嗰拃命題成立,X 都實會成立」噉嘅宣稱[1]

睇埋[編輯]

[編輯]

  1. Barwise, Jon; Etchemendy, John Etchemendy (1999). Language, Proof and Logic (1st ed.). Seven Bridges Press and CSLI.