📁 作业
📄 📄 📄 📄 📄 📄 📄 📄 📄 📄 📄 📄 📄
作业 1 · 命题、符号化与对偶
2024 年春季第 1 次作业，涵盖命题判断、联结词、量词顺序和对偶式
#作业
作业 2 · 自由变元与真值表程序
2024 年春季第 2 次作业，涵盖自由变元、量词辖域、真值表和等值判定程序
#作业
作业 3 · 重言式、等值式与替换
2024 年春季第 3 次作业，涵盖语义推论、公式分类、等值验证和替换程序
#作业
作业 4 · 等值演算、推论与可满足性
2024 年春季第 4 次作业，涵盖对偶定理、永假式、语义推论和公式集可满足性
#作业
作业 5 · 主范式与语义证明
2024 年春季第 5 次作业，涵盖析取范式、合取范式、主范式和语义推论
#作业
作业 6 · 联结词完备性与谓词语义
2024 年春季第 6 次作业，涵盖完备联结词集、极小完备集和谓词公式分类
#作业
作业 7 · 量词等价、推论与应用
2024 年春季第 7 次作业，涵盖量词等价、命题演算、语义推论和应用建模
#作业
作业 8 · 前束范式与 Skolem 化
2024 年春季第 8 次作业，涵盖量词推论、前束范式和 Skolem 标准形
#作业
作业 9 · Skolem 范式与模型
2024 年春季第 9 次作业，涵盖前束范式、Skolem 标准形、模型判定和可判定性
#作业
作业 10 · 公理证明与前束范式
2024 年春季第 10 次作业，涵盖命题公理系统、演绎证明和复杂公式前束化
#作业
作业 12 · 谓词公理系统与元性质
2024 年春季第 12 次作业，涵盖一致性、可靠性、完备性、演绎定理和谓词公理证明
#作业
作业 13 · 期末复习
2024 年春季第 13 次作业，综合复习命题逻辑、谓词逻辑和公理系统
#作业
加分题 · 合式公式化简
2024 年春季离散数学加分任务，按给定真值表寻找更短的命题公式
#作业