离散数学 学习 之 一阶逻辑基本概念 (一 ）

个体词可以 理解为主语 ， 3 不是偶数 ，3 就是 个体常项
凡整数都能被 2 整除 ， 整数就是 个体变项

上面的谓词是
（ 1 ） 是无理数
（ 2 ） 是有理数
（ 3 ） 与 同岁
（ 4 ） L

存在 对应 ^
任意 对应 ->