主题:高手来看看计算机四级的离散数学
判断下列等值式中错误的是
?x(a(x)→)??xa(x)→b(b中不含x) //这句话是什么意思> ?
?x(b→a(x))?b→xa(x)(b中不含x) //又是什么意思?
?x(a(x)∧b(x))??xa(x)∧?xb(x) //同样又是什么意思?
?x(a(x)∧b(x))??xa(x)∧?xb(x) //高手 谁能告诉我啊[color=800000]000000[/color]
?x(a(x)→)??xa(x)→b(b中不含x) //这句话是什么意思> ?
?x(b→a(x))?b→xa(x)(b中不含x) //又是什么意思?
?x(a(x)∧b(x))??xa(x)∧?xb(x) //同样又是什么意思?
?x(a(x)∧b(x))??xa(x)∧?xb(x) //高手 谁能告诉我啊[color=800000]000000[/color]