数学逻辑命题P->(PQ)VR 把公式最后变成只有合取和非的公式我把(PQ)换成((P->Q)A(Q->P))可以算得出来可是换成((PAQ)V(非PA非Q))就算不出来,这个公式不是和PQ也是恒等的吗?难道我算错了?

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/04 03:04:17
数学逻辑命题P->(PQ)VR 把公式最后变成只有合取和非的公式我把(PQ)换成((P->Q)A(Q->P))可以算得出来可是换成((PAQ)V(非PA非Q))就算不出来,这个公式不是和PQ也是恒等的吗?难道我算错了?

数学逻辑命题P->(PQ)VR 把公式最后变成只有合取和非的公式我把(PQ)换成((P->Q)A(Q->P))可以算得出来可是换成((PAQ)V(非PA非Q))就算不出来,这个公式不是和PQ也是恒等的吗?难道我算错了?
数学逻辑命题
P->(PQ)VR 把公式最后变成只有合取和非的公式
我把(PQ)换成((P->Q)A(Q->P))可以算得出来
可是换成((PAQ)V(非PA非Q))就算不出来,这个公式不是和PQ也是恒等的吗?难道我算错了?

数学逻辑命题P->(PQ)VR 把公式最后变成只有合取和非的公式我把(PQ)换成((P->Q)A(Q->P))可以算得出来可是换成((PAQ)V(非PA非Q))就算不出来,这个公式不是和PQ也是恒等的吗?难道我算错了?
是恒等的,你在某个地方算错了.
为了简单一点,我推一下(P<->Q)换成((P∧Q)V(非P∧非Q))后等价于((P->Q)∧(Q->P))
下面的等号表示等价于
P<->Q=(P∧Q)V(非P∧非Q)
=[(P∧Q)V非P]∧[(P∧Q)V非Q]
=[(PV非P)∧(QV非P)]∧[(PV非Q)∧(QV非Q)]
=(QV非P)∧(PV非Q)
=(P->Q)∧(Q->P)

数学逻辑命题P->(PQ)VR 把公式最后变成只有合取和非的公式我把(PQ)换成((P->Q)A(Q->P))可以算得出来可是换成((PAQ)V(非PA非Q))就算不出来,这个公式不是和PQ也是恒等的吗?难道我算错了? 命题公式(PvQ)→R的析取范式是 ( ) A.┐(PvQ)vRB.(P^Q)vRC.(PvQ)vRD.(┐P^┐Q)vR ┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式 请教一个数学符号的意义类似于横勾的一个符号,就是把“「”顺时针转90度的样子.应该跟逻辑、命题之类的有关如:命题p:面积相等的三角形全等,那么非p是: P且Q为真,P或Q为假(PQ都为某命题)这个数学条件做题时怎麽用? 数学命题有哪些常用逻辑用语, 数学逻辑题有的S是P的逆否命题成立吗(有的不是P的不是S)那些推理的逆否命题成立啊? 给定命题 pq 若p且q是真命题 则非p是假命题 关于数学逻辑1.¬p是指的命题p的否定呢?还是否命题?2.命题p:只有一个实数满足不等式x²+2ax+2a≤0,则¬p? 关于高一数学的简易逻辑命题p:若a>b,则 1/a > 1/b .命题q:存在一个实数x,使得 x^2 + x + 1≤0 .请问非p和非q的命题各是什么?再请问命题p的否命题和命题q的否命题各是什么? 试证明PQ,Q逻辑蕴含P(为离散数学中的逻辑联结符号:双条件) 根据康德的推论逻辑,两点之间线段最短是什么类型的命题?分析命题,拆解命题,综合命题,逻辑命题,选哪个? 证明┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式离散数学的题证明┐(P↔Q)(P∧┐Q)∨(┐P∧Q),其中P、Q为命题公式 英语中的VR,Vp.p 高一简易逻辑题.求百度数学帝现身!现有命题p:a,b,c∈R,若a>b,则ac^2≤bc^2判断其真假.解法一:命题p:a,b,c∈R,若a>b,则ac^2≤bc^2则命题p的非p命题为a,b,c∈R,若a>b,则ac^2>bc^2易得非p命题为假.故p命题为 根据康德的推论逻辑,两点之间线段最短是什么类型的命题?分析命题,综合命题,逻辑命题,选哪个? 数学逻辑用语中,命题的否定和否命题有什么分别 关于数学中常用逻辑用语我有一些疑问.当p、q两个问题都是假命题时,p“且”q也一定是假命题那么如果如果假命题p:周长相等的两个三角形全等,假命题q:面积相等的两个三角形全等,用“且