2020形式化方法複習總結

第二課：數學基礎 1.邏輯基礎 命題邏輯 + 謂詞邏輯 變體：經典邏輯、構造邏輯。 2.命題邏輯 Propositional logic: 每個形式系統應當包括語法+語義 2.1 語法 The syntax P ⋁ P P \bigvee P P⋁P ：析取 P ⋀ P P \bigwedge P P⋀P：合取 P → P P \to P P→P：蘊含 2.2 證明系統 The proof sys

>>阅读原文<<