或、且、蕴含等命题的否定 P或Q 否定 非P 且 非QP且Q 否定 非P 或 非QP蕴含Q 否定 P 且 非Q
离散数学中的CP规则，是怎么运用的啊？ 先说一下，即使不用CP规则，只用P规则和T规则（即直接证明法）也可以实现所有证明。引入CP规则，只是为了简化证明过程。不过CP规则的适用范围不像P、T规则那样具有普遍性—。
逻辑学中六个负命题的等值推理怎么记忆 记住原命题为假的情况，那么它的负命题等值推理也就顺理成章了。比如： 联言命题（p∧q）为假有三种情况：p假、q假、pq均假，那么（p∧q）的负命题就要涵盖使之为假的三种。
自学离散数学时遇到的问题？ 1、A，A→B=>；B {假言推理}：A→B是充分条件命题.充分条件命题的逻辑含义就是：前件真时后件必真，前件假则后件可以真也可以假.A，A→B=>；B表示：如果A真，A→B也真，那么B必然真.2、^B，A→B=>；^A {拒取式}同上，如果B假，A→B真，那么A必然假.3、A∨B，A→C，B→D=>；C∨D {构造性二难}：如果A→C真，B→D真，现在A真或B真，那么C真或D真.这三个推理，都是基本的有效推理式.或者说，它们都类似于数学中的“公理”，不需要推导.但它们都可以从建立真值表中看出来.
蕴含式不是等价式为什么它可以进行命题逻辑推理？ 因为：蕴含式中q是p 的的必要条件，或p是q的充分条件。因此，复合命题“只要p就q“，“p 仅当q\"，\"只有q才p“等，都可以 符号化为P—q的形式
是逻辑学的复合命题之间的关系及推理那节的内容
初学离散数学，不知道怎样记忆命题定律和各类蕴含式？ 这个是一定得死记硬背吗？这个是一定得死记硬背吗？显示全部 ？ Venn逻辑画一下，很符合直觉的 可以联系集合的运算律，基本是一致的 发现 等你来答 。
