数学逻辑命题P->(PQ)VR 把公式最后变成只有合取和非的公式我把(PQ)换成((P->Q)A(Q->P))可以算得出来可是换成((PAQ)V(非PA非Q))就算不出来,这个公式不是和PQ也是恒等的吗?难道我算错了?
来源:学生作业帮助网 编辑:作业帮 时间:2024/06/17 18:53:04
![数学逻辑命题P->(PQ)VR 把公式最后变成只有合取和非的公式我把(PQ)换成((P->Q)A(Q->P))可以算得出来可是换成((PAQ)V(非PA非Q))就算不出来,这个公式不是和PQ也是恒等的吗?难道我算错了?](/uploads/image/z/7294379-59-9.jpg?t=%E6%95%B0%E5%AD%A6%E9%80%BB%E8%BE%91%E5%91%BD%E9%A2%98P-%3E%28PQ%29VR+%E6%8A%8A%E5%85%AC%E5%BC%8F%E6%9C%80%E5%90%8E%E5%8F%98%E6%88%90%E5%8F%AA%E6%9C%89%E5%90%88%E5%8F%96%E5%92%8C%E9%9D%9E%E7%9A%84%E5%85%AC%E5%BC%8F%E6%88%91%E6%8A%8A%28PQ%29%E6%8D%A2%E6%88%90%28%28P-%3EQ%29A%28Q-%3EP%29%29%E5%8F%AF%E4%BB%A5%E7%AE%97%E5%BE%97%E5%87%BA%E6%9D%A5%E5%8F%AF%E6%98%AF%E6%8D%A2%E6%88%90%28%28PAQ%29V%28%E9%9D%9EPA%E9%9D%9EQ%29%29%E5%B0%B1%E7%AE%97%E4%B8%8D%E5%87%BA%E6%9D%A5%2C%E8%BF%99%E4%B8%AA%E5%85%AC%E5%BC%8F%E4%B8%8D%E6%98%AF%E5%92%8CPQ%E4%B9%9F%E6%98%AF%E6%81%92%E7%AD%89%E7%9A%84%E5%90%97%3F%E9%9A%BE%E9%81%93%E6%88%91%E7%AE%97%E9%94%99%E4%BA%86%3F)
数学逻辑命题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:面积相等的两个三角形全等,用“且