谓词公式中,量词
设A ={1,2,3},B = {3,4,5},则B-A = ,__________ =__________。
设是集合A ={1,2,3,4}到集合 B={a,b,c,d}的关系,则ranR =__________ ,domR =__________
命题公式 的成真指派有__________个,成假指派有__________个。
谓词公式 中的约束变元有__________,自由变元有__________。
设集合A ={a,b,c}以及A上的一个二元关系 , 则自反闭包r (R) =__________对称闭包s (R) = __________
命题公式 的二进制数编码大项Mi为 __________
设A ={a,b,c,d},B = {1,2,3,4},A到B的关系R = {, , } ,B到A的关系s = {, , },则 = __________
设图G如题25图所示,则图G的邻接矩阵M=__________。
构造命题公式 的真值表。