求离散数学大神 给我详细解释下下面定理 ，什么意思啊 离散数学双重否定定律p等价¬¬p为什么是...
\u6c42\u8bc1\u4e00\u4e2a\u79bb\u6563\u6570\u5b66\u5b9a\u7406\u7684\u8bc1\u660e\u6c42\u6559rt\uff08R\uff09=trtr\uff08R\uff09
=t(R U I)
=(R U I)U(R U I)²U\u2026
=I U R U R²U\u2026
=I U t\uff08R\uff09=rt\uff08R\uff09
\u5176\u4e2dU\u8868\u793a\u6790\u53d6,\u4e5f\u5c31\u662f\u6216.
¬¬p⇔p
\u5f53P\u4e3a\u771f\u503c\u65f6\uff0c¬¬p\u4e5f\u4e3a\u771f
\u5f53P\u4e3a\u5047\u503c\u65f6\uff0c¬¬p\u4e5f\u4e3a\u5047
（1）单个命题变元本身是一个合式公式。
（2）如果A是合式公式，那么┐A是合式公式。
（3）如果A和B是合式公式，那么（A∨B）、（A∧B）、（A→B）、（ADB）、都是合式公式。
（4）当且仅当有限次地应用（1）（2）（3）所得到的包含命题变元，连接词和圆括号的符号串是合式公式。
1.3.2 设Ai是公式A的一部分，且Ai是一个合式公式，称Ai是A的子公式。
1.3.3 设P为一命题公式，P1,P2,……，Pn为出现在P中的所有命题变元，对P1,P2,……，Pn指定一组真值称为对P的一种指派。若指定的一种指派，使P的值为真，则称这组指派为成真指派。若指定的一种指派，使P的值为假，则称这种指派为成假指派。
含n个命题变元的命题公式，共有2n个指派。
1.3.4 给定两个命题公式A和B，设P1,P2,……，Pn为所有出现于A和B中的原子变元，若给P1,P2,……，Pn任一组真值指派，A和B的真值都相同，称A和B是等价的，记做A <=>B。
1.3.5 设A为一命题公式，若A在它的各种指派情况下，其取值均为真，则称A为重言式或永真式。
1.3.6 设A为一命题公式，若A在它的各种指派情况下，其取值均为假，则称A为矛盾式或永假式。
1.3.7设A为一命题公式，若A在它的各种指派情况下至少存在一组成真指派，则称A为可满足式。
1.4.1 设X式合式公式A的子公式，若有Y也是一个合式公式，且X<=>Y，如果将A中的X用Y置换，得到公式B，则A<=>B。
1.4.2 设A，B为两个命题公式，A<=>B，当且仅当A ←→B为一个重言式。
P=>Q称做P蕴含Q或蕴含式，又称永真条件式。
蕴含式有下列性质：
（1）对任意公式A，又A=>A；
（2）对任意公式A，B和C，若A=>B，B=>C，则A=>C；
（3）对任意公式A，B和C，若A=>B，A=>C，则A=>(B∧C);
（4）对任意公式A，B和C，若A=>C，B=>C，则A∨B=>C.
1.4.3设P，Q为任意两个命题公式，P<=>Q的充分必要条件式P=>Q,，Q=>P
扩展阅读：扫一扫题目出答案 ... 数学答案 ... pvq和p∧q真假判断 ... 离散数学 期末论文 ... 离散数学知识点大全 ... 换名规则 离散数学 ... 数学三大悖论解释 ... 二年级数学题详细解释 ... 离散数学 a 是什么意思 ...
