离散数学第二章谓词逻辑习题课

- 离 散 数 学 - 第二章 谓词逻辑习题课 - 一. 命题符号化 60页(2) - (x)(J(x)→L(x))(