形式證明

(由證明跳轉過嚟)

形式證明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.