https://zuwei.org/notes/2025-1/discrete-math/week_01_03_propositional_logic/Recent content in 离散数学 | 命题逻辑 on ZuweiHugo -- 0.154.5zh-cnMon, 22 Sep 2025 00:00:00 +0000https://zuwei.org/notes/2025-1/discrete-math/week_01_03_propositional_logic/week_03_inference_and_applications/Mon, 22 Sep 2025 00:00:00 +0000https://zuwei.org/notes/2025-1/discrete-math/week_01_03_propositional_logic/week_03_inference_and_applications/基本概念、语法、语义https://zuwei.org/notes/2025-1/discrete-math/week_01_03_propositional_logic/week_02_proof_and_normal_forms/Mon, 15 Sep 2025 00:00:00 +0000https://zuwei.org/notes/2025-1/discrete-math/week_01_03_propositional_logic/week_02_proof_and_normal_forms/等值演算、范式https://zuwei.org/notes/2025-1/discrete-math/week_01_03_propositional_logic/week_01_syntax_and_semantics/Sun, 07 Sep 2025 00:00:00 +0000https://zuwei.org/notes/2025-1/discrete-math/week_01_03_propositional_logic/week_01_syntax_and_semantics/基本概念、语法、语义