Knowledge Base Wiki

Search for LIMS content across all our Wiki Knowledge Bases.

Type a search term to find related articles by LIMS subject matter experts gathered from the most trusted and dynamic collaboration tools in the laboratory informatics industry.

形式證明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.
source: https://zh-yue.wikipedia.org/wiki/%E8%AD%89%E6%98%8E