东北大学20春《离散数学X》在线平时作业2答案.docxVIP

东北大学20春《离散数学X》在线平时作业2答案 E是全集，E={a，b}，E的幂集P(E)上的交运算?的有逆元的元素是()。A.不存在B.{b}C.{a}D.{a，b}E.Φ不是谓词公式的前束范式为()。A.B.C.D.下面是xC(x)， $x(A(x)úB(x))， x(B(x)??C(x)) T$xA(x)的谓词推理过程。在这个过程中每一步中的()处是此步所用的推理规则。请写出这些推理规则。⑴$x(A(x)úB(x))， ()⑵A(a)úB(a) ()⑴⑶xC(x) ()⑷C(a) ()⑶⑸x(B(x)→?C(x)) ()⑹B(a)→?C(a) ()⑸