请高手请教怎么做这道题: 离散数学

来源:学生作业帮助网 编辑:六六作业网 时间:2024/12/19 17:43:15
请高手请教怎么做这道题:离散数学请高手请教怎么做这道题:离散数学请高手请教怎么做这道题:离散数学存在着(E),任意的(A)都不方便写,我分别用E和A表示,你自己把它反过来(1)Ex(C(x)∧┐B(x

请高手请教怎么做这道题: 离散数学
请高手请教怎么做这道题: 离散数学


请高手请教怎么做这道题: 离散数学
存在着(E),任意的(A)都不方便写,我分别用E和A表示,你自己把它反过来
(1)Ex(C(x)∧┐B(x)) P规则
(2)C(a)∧┐B(a) (1)
(3)C(a) (2)
(4)┐B(a) (2)
(5)Ax(C(x)→P(x)) P规则
(6)C(a)→P(a) (5)
(7)P(a) (3)(6)
(8)P(a)∧┐B(a) (4)(7)
(9)Ex(P(x)∧┐B(x)) (8)