单项选择题
A.1∈MB.2∈MC.3∈MD.4∈M
设A={a,b,c},B={a,b},则下列命题不正确的是()A.A-B={a,b}B.A∩B={a,b }C...
单项选择题设A={a,b,c},B={a,b},则下列命题不正确的是()
A.A-B={a,b}B.A∩B={a,b }C.AÅB={c}D.BÍA
请选择Ø$x "yP(x,y)的前束合取范式为()A."x Ø"yP(x,y)B.$x "yØP(x,y)C....
单项选择题请选择Ø$x "yP(x,y)的前束合取范式为()
A."x Ø"yP(x,y)B.$x "yØP(x,y)C."x "yØP(x,y)D."x $yØP(x,y)
下面哪个公式没有自由变元()A.("x)(R(x)®($y)(R(z)ÙB(y,x)))B.("x)(R(x)...
单项选择题下面哪个公式没有自由变元()
A.("x)(R(x)®($y)(R(z)ÙB(y,x)))B.("x)(R(x)Ù($y)(R(y)ÙB(y,x)))C.($x)(R(x)Ù($y)(R(y)ÙB(u,x)))D.($x)(R(x)®($y)(R(y)ÙB(y,tx)))