复合联结词-2014091522053249

【文件属性】：

文件名称：复合联结词-2014091522053249

文件大小：477KB

文件格式：PPT

更新时间：2024-04-13 04:28:46

java

复合联结词 定义2.8 设 p, q 为两个命题, (pq)称作p与q的与非式, 记作 pq, 即 pq  (pq), 称为与非联结词 (pq) 称作 p 与 q 的或非式, 记作 pq, 即 pq  (pq),  称为或非联结词 定理2.7 {}与{}为联结词完备集. 证明 {, , }为完备集 p  pp  (pp)  pp pq  (pq)  pq  (pp)(qq) pq  (pq)  (pq)  (pq)(pq) 得证{}为联结词完备集. 对{}类似可证