https://zuwei.org/notes/2025-1/discrete-math/week_04_07_predicate_logic/Recent content in 离散数学 | 一阶逻辑 on ZuweiHugo -- 0.154.5zh-cnMon, 27 Oct 2025 00:00:00 +0000https://zuwei.org/notes/2025-1/discrete-math/week_04_07_predicate_logic/week07_applications_and_proof_techniques/Mon, 27 Oct 2025 00:00:00 +0000https://zuwei.org/notes/2025-1/discrete-math/week_04_07_predicate_logic/week07_applications_and_proof_techniques/应用https://zuwei.org/notes/2025-1/discrete-math/week_04_07_predicate_logic/week06_equivalence_and_inference/Mon, 13 Oct 2025 00:00:00 +0000https://zuwei.org/notes/2025-1/discrete-math/week_04_07_predicate_logic/week06_equivalence_and_inference/等值演算、前束范式、推理理论https://zuwei.org/notes/2025-1/discrete-math/week_04_07_predicate_logic/week05_semantics/Sat, 11 Oct 2025 00:00:00 +0000https://zuwei.org/notes/2025-1/discrete-math/week_04_07_predicate_logic/week05_semantics/解释、真值、分类https://zuwei.org/notes/2025-1/discrete-math/week_04_07_predicate_logic/week04_syntax/Mon, 29 Sep 2025 00:00:00 +0000https://zuwei.org/notes/2025-1/discrete-math/week_04_07_predicate_logic/week04_syntax/基本概念、语法