2-6 一阶逻辑公式及解释（三）

请 登录 来查看该视频
← 2-5 一阶逻辑公式及解释（二）
2-7 一阶逻辑等值式与置换规则（一） →