单项选择题
A.{1，2}∈AB.{1，2，3}⊆AC.{1，2，3}⊃AD.{1，2，3}∈A
完全图K4不是平面图。（）
判断题完全图K4不是平面图。（）
存在集合A与B，可以使得A∈B与A⊆B同时成立。（）
判断题存在集合A与B，可以使得A∈B与A⊆B同时成立。（）
命题逻辑演绎的CP规则为（）。A.在推演过程中可随便使用前提B.在推演过程中可随便使用前面演绎出的某些公式的逻...
单项选择题命题逻辑演绎的CP规则为（）。
A.在推演过程中可随便使用前提B.在推演过程中可随便使用前面演绎出的某些公式的逻辑结果C.如果要演绎出的公式为B→C形式，那么将B作为前提，设法演绎出CD.设Φ(A)是含公式A的命题公式，，则可用B替换Φ(A)中的A
，则可用B替换Φ(A)中的A