离散数学中个体和个体域

对与这种问题,一般都是考虑它的逆命题为真就能说明它本身为假

逆命题为：在整数域上,存在X,对于任意的Y,存在z,X+Y=Z；

逆命题是真的,因为比如 X=2时,任意的Y,Z=2+Y 就行了.

就是这么简单,要会写逆命题,就是任意改成存在,存在改成任意就好.

是特性谓词吧？

个体变元有一个取值(变化)范围,将个体变元取值范围称为论域或个体域.但在很多情况,个体变元取值范围不好确定,所以引入全总个体域的概念,全总个体域可作为任何个体变元的个体域.

特性谓词的作用是将个体变元局限止在指定范围内

我们老师是这样讲的:前后有因果关系的话用->，没因果关系用∧

例如，有一道课后习题:所有守信用的人是可以信赖的。答案就是(任意x)p(x)–>q(x)

但是还是有很多情况分不清，比如又一题:

所有的玫瑰和蔷薇都是芳香而带刺的。

反正我弄不清

---