问答题 设C是一非空的某论述域U的子集的搜集，B是U的子集，证明下列分配律的推广： （a）B∩（S）=（B∩S） （b）B∪（S）=（B∪S）

问答题 将下面语句翻译成谓词逻辑公式： 三角形三内角之和是180°.

问答题 给定ρ1={（0，1），（1，2），（3，4）}，ρ1·ρ2={（1，3），（1，4），（3，3）}求一个基数最小的关系，使满足ρ2的条件。一般地说，若给定ρ1和ρ1·ρ2，ρ2能被唯一的确定吗？基数最小的ρ2能被唯一确定吗？