这里∨代表逻辑加(析取): 0∨0=0, 0∨1=1, 1∨0=1, 1∨1=1; ∧代表逻辑乘(合取): 0∧0=0, 0∧1=0, 1∧0=0, 1∧1=1。 其中的0和1分别看成是命题的真值。 对于例1可以验证:(见下页) 共同考察P116例题3。 例1中的关系矩阵: 4.逆关系 由于关系是序偶的集合,我们还可以定义关系的一个特殊运算。 定义:设R为集合X到Y的一个二元关系, 那么将R中每一个序偶元素的顺序互换,则 得到一个从Y到X的二元关系: