设有集合A={a,b,c}上的二元关系则R1的自反闭包r(R1)=_______,R1的对称闭包s(R1)=_______。
用列真值表的方法说明下列逻辑等价式成立
用等值演算法推导命题公式 的主析取范式。
设解释Ⅰ为:个体域D={a,b},F(x)与G(x)为2个一元谓词,且F(a)=0,F(b)=1,G(a)=1,G(b)=0。在Ⅰ下,求命题公式 的真值。
设集合S={1,2,3},题29图为S上的二元关系R的关系图 (1)写出R的集合表达式;(2)写出R的关系矩阵。
求下述集合等式成立的充要条件,并证明结论。
证明下列谓词公式为永真式:。