命题公式, 的二进制编码大项Mi为________。
设A={a,b,c,d},B={1,2,3,4},A到B的关系R={,,},B到A的关系S={,,},则=________。
命题公式 的成真指派有________个,成假指派有________个。
设 ,则其幂集P(S)的元素个数为________。
利用等值演算法求命题公式的主析取范式。
设 为偏序集,其哈斯图如题28图所示。 (1)写出偏序关系≤; (2)设
S={{1,2},{3},{4,5}}是集合A={1,2,3,4,5}上的一个划分。 (1)写出由S导出的A上的等价关系 的有序对集合; (2)写出
设解释I如下:D={2,3},已知F(2,2)=F(3,3)=0,F(2,3)=F(3,2)=1,f(2,2)=f(2,3)=2,f(3,2)=f(3,3)=3。 求谓词公式 在I下的真值。