⑴ 离散数学 二元关系部分，空关系的性质
传递，对称，反自反，反对称
⑵ 离散数学，空关系为啥是反自反的，对称的，反对称的(复制粘贴走开)
因为定义这些性质的时候都说，如果存在 x,y,z 属于X，xRy,yRz，就必然有...
作为空关系，不存在xRy，从逻辑上说，如果存在我也有这个性质，只是不存在而已。
所以很自然地，空关系是自反、对称、反对称的。
⑶ 离散数学，什么是空简单析取式
2015年 这么久了都没人回答。。。2019年 哎 我也遇到了这个问题，只看定义。。。。实在是很难理解，但是对于（含文字的）简单析取式来说它有个特点，它要么永真，要么值不确定， 它不可能永假。1也是含文字的 qV非q。
也就是1，在简单析取式中是可扩展的（容纳文字） 而0，简单析取式无法扩展
永真，不确定，永假 三种情况
而简单析取式最多只能有两种情况，也就是可满足和不可满足（空简单析取式） 所以我认为空简单析取式应该为0
但这也只是一种思考，只怪数学基础不踏实，给不出什么有用的回答，但是我希望能借助讨论，让一些问题能够被解决，也希望课本对这些问题能有一个比较好的引导。
⑷ 离散数学中关于空集的问题
对的。
空集也是一个东西，当然可以作为集合的元素。
A={∅，a}的子集有以下4个：
{∅，a}
{∅}
{a}
∅
⑸ 离散数学中，对于空关系的性质，自反与反自反怎么理解
关系是一个集合，空关系对应空集。
集合论中，为了集合运算构成代数系统，规定：空集是任何集合的子集。
注意是规定。而关系的研究手段是借助于集合，因此空关系这个集合是自反关系集合以及反自反关系集合的子集。
所以，从逻辑上来说，或本质上说，空关系是自反与反自反的是一种规定。
⑹ 在离散数学中空集有哪些性质比如对称性等
书上是这样说的：非空集合上的空关系是反自反的，对称的，反对称的和可传递的，但不是自反的。空集合上的空关系则是自反的，反自反的，对称的，反对称的和可传递的。
另外这些性质一般是指脸集合间的二元关系的性质，而不是某些集合的性质。
⑺ 离散数学中关系是空集 表示的是什么意义呢 为什么说具有反自反性
空集x仍然是一个集合。
我们用一个函数来表达集合的特性，例如集合的元素的个数。
那么空集只不过是f(x)=0罢了，非空的只不过是f(x)≠0
空集的反就是全集y(包含宇宙万物)f(y)=∞
那么无穷的反当然就是没有，回到空集本身Φ
"为什么说具有反自反性"这句话其实不是一个问题，因为这是集合论中的基本公设，集合论基本的性质是靠定义出来的。它是其他各种性质的原因，它本身不需要原因，所以不需要问为什么。
⑻ 离散数学空关系是否具有可传递性
空关系具有可传递性
传递性：对于A中的任意元素x,y,z,若<x,y>∈R且<y,z>∈R，则必有<x,z>∈R。即
(任意的x)(任意的y)(任意的z)(xRy∧yRz→xRz)
注意的是“→”， 若前件为假，则整个蕴涵式为真。
空关系中，前件全部为假，所以整个蕴涵式为真
⑼ 离散数学 逻辑推理中的这些式子什么意思，图中的I1，还有那些P, T都什么意思
P 是指 前提（Premise），即前提引入，引入的题设前提一定是永真的。
T 是指 重言(永真)式（Tautology），T(1)(2)就是说 (1)(2)是永真的。
I 是指 蕴涵式（Implication），即推理定律，比如假言三段论、构造性二难等，有 9 条，标注为 I1～I9。上面的 I3、I4 分别表示 假言推理和拒取式。
⑽ 离散数学全域关系，恒等关系空关系是什么意思
全域关系，就是全部元素之间都满足关系（含自身与自身的关系）
对应关系矩阵是全为1的矩阵
恒等关系，是满足且只满足自身与自身的关系，对应关系矩阵是单位矩阵
空关系，是元素之间都不满足关系。
如果是空集合，则是空矩阵
如果是非空集合，则是零矩阵