求P∩Q∪R的主合取、主析取范式

合取范式,合取主范式的区别,最好有例子,简单易懂一点

吴含1年前1

七粒果 共回答了14个问题 | 采纳率92.9%

合取式： P∧Q∧R合取范式： (p∨q)∧(p∨┐q∨r)∧ (┐p∨r)主合取范式： (p∨q∨r)∧(p∨┐q∨r)∧ (┐p∨q∨r)

1年前查看全部

速求,证明离散数学题前提：（p合取非q）蕴涵r,p,q蕴涵s,非s结论：r

wy5119921年前1

qqy2006 共回答了14个问题 | 采纳率92.9%

　　1）┐s 前提引入
　　2）q→s 前提引入
　　3）┐q 1）2）拒取式
　　4）(p∧┐q)→r 前提引入
　　5）p 前提引入
　　6）p∧┐q 3）5）合取
　　7）r 6）4）假言推理
故结论成立.

1年前查看全部

离散数学合取和条件的区别到底什么时候应该用合取 什么时候应该用条件?有什么一般性的规律可循吗?比如:A(x)表示x是有素

离散数学合取和条件的区别
到底什么时候应该用合取 什么时候应该用条件?有什么一般性的规律可循吗?
比如:A(x)表示x是有素质的 B(x)表示x是受过教育的
---问题---受过教育的人是有素质的---这句话的表达应该是条件:B(x)-->A(x)还是合取B(x)∧A(x)?

lbj041年前2

鹰盟-艳露凝香 共回答了16个问题 | 采纳率81.3%

一般的,对全称量词用条件来连接,对存在量词用合取.如全部受过教育的人都是有素质的,可表示为(∀x)(B(x)-->A(x)),如果改成存在一些受过教育的人是有素质的则表示为（∃x）(B(x)∧A(x)).
如果没有这个的话就可以这样来判断如：如果x受过教育则x是有素质的.用B(x)-->A(x)表示.
x受过教育而且x是有素质的用B(x)∧A(x)表示
所以上面那个是用条件来表示

1年前查看全部

析取合取怎么计算的为什么0.24∧1 结果是0.24 又为什么 0.24∨0.22∨0.55结果是0.55呢 分数有点少

析取合取怎么计算的
为什么0.24∧1 结果是0.24 又为什么 0.24∨0.22∨0.55结果是0.55呢
分数有点少见谅

139112200611年前1

cherry_style 共回答了18个问题 | 采纳率88.9%

交集是按照大家共同拥有的部分,这是交集
而并集是大家一起所拥有合起来的部分.
所以0.24∧1 结果是0.24
0.24∨0.22∨0.55结果是0.55
因为第一个是交集,即大家公共部分,取小的那一部分
第二个是并集,即大家合起来的部分.
若是满意,请采纳

1年前查看全部

构建下面推理的证明 前提：p合取q,p蕴含非r,s蕴含t,非s蕴含r,非t 结论：q

nn在那里1年前2

wlczzml 共回答了18个问题 | 采纳率88.9%

p合取q应是p析取q吧.证明如下：
1、p析取q 前提
2、p蕴含非r 前提
3、s蕴含t 前提
4、非s蕴含r 前提
5、非t 前提
6、非s 35否定后件式
7、r 46肯定前件式
8、非p 27否定后件式
9、q 18否定肯定式

1年前查看全部

主析取和主合取

runbayue1年前1

新仍一枝草 共回答了16个问题 | 采纳率100%

P∨(┐P→(Q∨(┐Q→R))
P∨(┐┐P∨(Q∨(┐┐Q∨R))
P∨Q∨R
M0 (主合取范式)
m1∨m2∨m3∨m4∨m5∨m6∨m7 (主析取范式)

1年前查看全部

离散数学范式问题,急,求详解1.求主合取范式,并求成假赋值 非(q→非p)∧非p2.求公式的主析取范式,并求成真赋值 （

离散数学范式问题,急,求详解
1.求主合取范式,并求成假赋值 非(q→非p)∧非p
2.求公式的主析取范式,并求成真赋值 （非p→q）→（非q∨p）

wqt6101年前1

dandanz200501 共回答了23个问题 | 采纳率73.9%

真值表法：
p q ┐p q→┐p ┐(q→┐p) ┐(q→┐p) ∧┐p ┐p→q ┐q∨p (┐p→q )→(┐q∨p)
0 0 1 1 0 0 0 1 1
0 1 1 1 0 0 1 0 0
1 0 0 1 0 0 1 1 1
1 1 0 0 1 0 1 1 1
公式┐(q→┐p) ∧┐p 从真值表中看出 其真值为0所对应大项编码有M00,M01,M10,M11所以与
┐(q→┐p) ∧┐p 等价的主合取范式为M00∧M01∧M10∧M11=∏(0,1,2,3)；
公式(┐p→q )→(┐q∨p)从真值表中看出其真值为1的小项有m00,m10,m11三项,所以与
(┐p→q )→(┐q∨p)等价的主析取范式为m00∨m10∨m11=∑(0,2,3)

1年前查看全部

数学逻辑命题P->(PQ)VR 把公式最后变成只有合取和非的公式我把(PQ)换成((P->Q)A(Q->P))可以算得出

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

孔孟行1年前1

sbyygtso 共回答了18个问题 | 采纳率88.9%

是恒等的,你在某个地方算错了.
为了简单一点,我推一下(PQ)换成((P∧Q)V(非P∧非Q))后等价于((P->Q)∧(Q->P))
下面的等号表示等价于
PQ=(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)

1年前查看全部

一阶逻辑命题符号化到底什么时候用户蕴含式什么时候用合取啊,例如图里面这道题

lzybxm1年前1

美丽中转站 共回答了24个问题 | 采纳率91.7%

上面的是错误的
下面的才是正确的

1年前查看全部

离散数学的一道证明题目：设A、B、C是任意集合,证明：（A并B=A并C）合取（A交B=A交C）可推出B=C.

离散数学的一道证明题目：设A、B、C是任意集合,证明：（A并B=A并C）合取（A交B=A交C）可推出B=C.
因为数学符号不好输入,我就直接把符号改成了数字表达.把证明过程写出来.

丢失的宝贝20081年前3

周小青 共回答了19个问题 | 采纳率73.7%

任取b 属于 B 则：
1.若b 属于 A =》 b属于 A交B =》 b属于 A交C =》b属于C
2.若b 不属于A =》b属于 A并B =》 b属于 A并C,又b不属于A =》 b属于 C
又1,2可知 B 是 C的子集.
同理可证 C 是 B的子集.因此B=C,得证.

1年前查看全部

数学中A少一横怎么念就是这个∧符号.要求给出拼音啊不过这是线性代数里的，好像是对角阵的一个符号，也叫“合取”吗？

yuanfeilin1年前1

lili3305867 共回答了19个问题 | 采纳率94.7%

叫“合取”在大学离散数学里面学的

1年前查看全部

证明{析取},{合取},{条件}不是最小联结词.

多少年来如一日1年前1

叮进切 共回答了12个问题 | 采纳率83.3%

那找一组是最小连接词的,这三个条件加在一起没办法表示某些最小连接词就行了

1年前查看全部

离散数学,二元关系R={|x,y属于{2,3,4,5,6,7,8}合取x|y合取x不等于y｝,用列元素法表示关

离散数学,二元关系

R={|x,y属于{2,3,4,5,6,7,8}合取x|y合取x不等于y｝,用列元素法表示关系R,怎么求得R={<2,4>,<2,6>,<2,8>,<3,6>,<4,8>}?

R为A叉乘A上的关系,其中A={1,2,3,4｝,且R <=> xv=uy 列出R的元素.----这题列完元素之后为什么还要并上I axa?

银耳_莲子1年前1

福星高照gg沫沫 共回答了16个问题 | 采纳率87.5%

①“x|y” 表示x能整除y,x,y在集合{2,3,4,5,6,7,8}上取,且满足“x整除y”的序偶有{,,,,,,,,,,,},题目还要求“x不等于y”,故只剩下{,,,,}
②A叉乘A={,,,,,,,,,,,,,,,}
R xv=uy x/y=u/v
R={,,,,,,,,,,,,,,,,,,,,,,,,,,,,,}

1年前查看全部

设有命题P:教师很明亮;Q:下雨要打伞.分别用否定,合取,析取联结词将其构成新的复合命题.

设有命题P:教师很明亮;Q:下雨要打伞.分别用否定,合取,析取联结词将其构成新的复合命题.
急

lwm9151年前1

小花猫fl9sb来啦 共回答了21个问题 | 采纳率90.5%

¬P：教师不很明亮
P∧Q：教师很明亮且下雨要打伞
P∨Q：教师很明亮或下雨要打伞

1年前查看全部