畢設（六）邏輯學

命題邏輯系統 命題邏輯系統有很多種，比如公理化系統、自然推理系統、sequent系統等。 一些基礎 聯結詞 命題推理系統包括聯結詞和命題。 聯結詞：並非、並且、或者、如果那么、當且僅當。分別用 ...

在 Coq 中形式化 100 個定理

由 Chesium 翻譯、增補 Coq 是一個交互式證明助手 官網：The Coq Proof Assistant 原文鏈接：Formalizing 100 theorems in Coq 原文為《形式化 100 個定理》（Formalizing 100 Theorems）的一部分 上述 ...