交大数理逻辑课件4-1谓词逻辑的基本概念
- 作业讲评1 - - 第1章习题 - P12:2(2)用自然语言叙述:¬(P ∧Q)设P:今天很冷,Q:正在下雪¬(P∧Q