课程库 / 离散数学

3.9 推理形式和推理规则

Week 5: 第三章 谓词逻辑 （第二部分） · 3.9视频