命题符号化有的火车比所有的汽车跑得快.把上述命题符号化为前束范式,请前辈说一下这样符号化的依据 这个问题想了好长时间了

白开水的微笑2022-10-04 11:39:541条回答

已提交,审核后显示!提交回复

共1条回复
sanheidan 共回答了15个问题 | 采纳率80%
以下以A代表全称量词,E代表存在量词.
设F(x):x是火车,G(y):y是汽车,H(x,y):x比y跑得快.
直接符号化是Ex(F(x)∧Ay(G(y)→H(x,y))),根据辖域的收缩与扩张等值式,可化为ExAy(F(x)∧(G(y)→H(x,y))),这个就是前束范式了
1年前

相关推荐

离散数学高手帮忙命题符号化是用一阶逻辑的:有些人喜欢所有的花,但是人们不喜欢杂草,那么花不是杂草.
梦飞梦飞1年前0
共回答了个问题 | 采纳率
2在一阶逻辑中将下列命题符号化 (1)某列火车都比某些汽车快.2)鸟都会飞翔
井家哒丫头1年前1
lbglgxcn 共回答了10个问题 | 采纳率90%
1)令:a:某列列车;F(x):x是飞机;Kxy:x比y快,则:
∃x(F(x)∧K(ax))
2)令:B(x):x是鸟;F(x):x会飞,则:
∀x(B(x)→F(x))
虽然2是最小素数,但2不是最小自然数如何命题符号化,搞不清逻辑关系.
堆跟nn1年前1
我不是你的百合 共回答了19个问题 | 采纳率84.2%
令 a:2;b;1; Ax:x被1整除; Bx:x被x整除; Sxy:x<y; Nx:x是自然数,则
∀x(Nx∧┐b∧(Ax∨Bx)→Sax)
不知道你觉得怎么样,那意思是说“任何一个不是1的自然数,如果它是素数(只能被1或自身整除)都比2大”
将下面命题符号化,并构造推理证明 所有有理数是实数,有些有理数是整数,所以有些实数是整数
lksytd1年前1
七色泡泡 共回答了19个问题 | 采纳率94.7%
这个问题是离散数学上常见的证明题设:F(x):x是有理数.G(x):x是实数.P(x):x是整数,原命题符号化为:
前提:Ax(F(x)→G(x)),Ex(F(x)∧P(x))
结论:Ex(G(x)∧P(x))
证明:(1)Ex(F(x)∧P(x)) 前提引入
(2)F(a)∧P(a) (1)EI
(3)F(a) (2)化简
(4)Ax(F(x)→G(x)) 前提引入
(5)F(a)→G(a) (4)UI
(6)G(a) (3)(5)假言推理
(7)P(a) (2)化简
(8)G(a)∧P(a) (6)(7)合取引入
(9)Ex(G(x)∧P(x)) (8)EG,希望能帮到你
离散数学中,如何把“唯一”命题符号化?
离散数学中,如何把“唯一”命题符号化?
原题:把“存在唯一的偶素数”命题符号化.
yangda101年前1
泺大 共回答了21个问题 | 采纳率85.7%
a属于论域
P(x):x为偶素数

(ョx)P(x)∧((ョx)P(x)∧(ョy)P(y)→x=y)
离散数学将下列命题符号化 1我美丽而且快乐 2如果a和b是偶数,则a+b是偶数 3电灯
离散数学将下列命题符号化 1我美丽而且快乐 2如果a和b是偶数,则a+b是偶数 3电灯
离散数学将下列命题符号化
1我美丽而且快乐
2如果a和b是偶数,则a+b是偶数
3电灯不亮当且仅当灯泡或开关发生故障
zxsfrank1年前1
猪头青 共回答了15个问题 | 采纳率93.3%
  1{我美丽}∩{我快乐}={我美丽而且快乐}
  2{a是偶数}∪{b是偶数}={a+b是偶数}
  3“电灯不亮”"灯泡或开关发生故障"
除非天不下雨,我就去图书馆 将命题符号化
除非天不下雨,我就去图书馆 将命题符号化
P:天下雨 Q:我去图书馆
figo10221年前2
ugozqsxj 共回答了17个问题 | 采纳率94.1%
A→B它对应的语句是“除非B,否则╕A;只要A,就B;只有B才有A”三种表示.
所以反过来对应一下,除非天不下雨我就去图书馆就是“除非╕P,否则Q”,所以原语句就为,╕Q →╕P.也可以是它的等价式,P→Q.
另外告诉你一个我个人发现的规律,虽然没有理论依据,但应该还是正确的,就是说但凡是“除非A,否则B”的形式的语句符号化一般就是“╕A→B”
请问如何命题符号化下面的句子:虽然有些人很聪明,但不是每个人都聪明
septemberz1年前3
风寒情愈殇 共回答了19个问题 | 采纳率78.9%
虽然有些人很聪明,但不是每个人都聪明.
=有些人很聪明,但不是每个人都聪明.
=“有些人很聪明”和,“有些人不聪明”.
除非天气炎热,否则小梅不去游泳 将命题符号化
除非天气炎热,否则小梅不去游泳 将命题符号化
请告诉我为什么是q-p,箭头不会打,
lilirong19791年前1
子非鱼无地自 共回答了11个问题 | 采纳率90.9%
p:天气炎热
q:小梅去游泳
A→B这种形式一般有
① 只要A,就B;
② 只有B才有A
③ 除非B,否则┐A;
这几种表示
于是,除非天气炎热否则小梅不去游泳就是
“除非P,否则┐Q”
对应的符号表示就是Q→P
意思上也可以理解,就是说:
只要小梅去游泳,天气就是炎热的
关于离散数学命题符号化的一个小问题
关于离散数学命题符号化的一个小问题
虽然天气很冷,可人们情绪很高.
这句话要怎么符号化?
透明d1年前1
leif316 共回答了16个问题 | 采纳率93.8%
p合取q,q:天气很冷;q:人们情绪很高;
在一阶逻辑中将下列命题符号化 (1)f(x):X是人,G(x):x天天锻炼身体则:“有的人天天锻炼身体
在一阶逻辑中将下列命题符号化 (1)f(x):X是人,G(x):x天天锻炼身体则:“有的人天天锻炼身体
命题符号化是
(2)设F(x):X是汽车,G(y):y是火车,H(x,y):x比y慢.则”说明是汽车比火车慢是不对的“
命题符号化
踏雪撵熊1年前2
800919 共回答了24个问题 | 采纳率87.5%
(1)有的人天天锻炼身体;
也就是说:存在这么一些“东西”,它们“既是人”,“又是天天锻炼身体的”.
所以,符号表示为:
(Ex)(f(x)∧G(x));(Ex表示存在x)
(2)说汽车比火车慢是不对的;
即是说:并非所有的汽车都比(所有的)火车慢;
所以,符号表示为:
┐(AxAy)(F(x)∧G(y)→H(x,y));(Ax表示所有x)
除非明天下雨,我就回家命题符号化怎么表示?A.p→q B.非p→q C.非p→非q D.p→非q选哪个?
candyzjq1年前2
sl拈花笑 共回答了21个问题 | 采纳率100%
C.非p→非q
将下列命题符号化(1)如果a和b是偶数,则a+b是偶数(2)2+2=4,当且仅当3是奇数.
狼见愁1年前1
byx520ycy 共回答了19个问题 | 采纳率89.5%
(1)如果a和b是偶数,则a+b是偶数
∵a%==2,b%2==0
∴(a+b)%2==0
(2)2+2=4,当且仅当3是奇数.
这个不会了
离散数学命题符号化?将下列命题符号化?1.或者你没有给我写信,或者它在路上丢了.2.如果上午不下雨,我就去看电影,否则我
离散数学命题符号化?
将下列命题符号化?
1.或者你没有给我写信,或者它在路上丢了.
2.如果上午不下雨,我就去看电影,否则我就在家里看书或看报纸.
3.我今天进城,除非下雨.
4.如果太阳没出来,则或者下雨或者阴天而且温度下降.
5.指南针永指南北,除非他傍边有磁铁.
6.说逻辑枯燥无味和毫无价值是不对的.
7.人不犯我,我不犯人;人若犯我,我必犯人.
hhwangd1年前1
娃哈哈2p230 共回答了20个问题 | 采纳率95%
1.P=你给我写信,Q=丢在了路上 P V Q
2.P=不下雨看电影,Q=在家看书 ┐P->Q
3.P=今天进城,Q=下雨 ┐P->Q
4.P=太阳没出来,Q=下雨或者阴天 ┐P->Q
5.P=指南针永指南北Q=他傍边有磁铁 ┐P->Q
6.P=逻辑枯燥无味毫无价值 ┐P
7.P=人犯我 Q=我犯人 (┐P ∩┐Q)∪(P∩Q)
将下列命题符号化 对所有的x,都存在y使得x*y=0
hh人观hh事1年前1
三冬 共回答了16个问题 | 采纳率93.8%
ョy∀x(G(y)∧F(x)→0)
小丽既聪明又用功,将命题符号化设P:小丽聪明 Q小丽用功P∩Q为什么不是P并上Q呢?
dsltnn1年前3
shirleynie 共回答了12个问题 | 采纳率91.7%
符号是规定的
∩就是交集
而∪才是并集
除非天不下雨,我就去图书馆 将命题符号化
除非天不下雨,我就去图书馆 将命题符号化
P:天下雨 Q:我去图书馆
xx的的的131年前2
hnyhh 共回答了25个问题 | 采纳率84%
A→B它对应的语句是“除非B,否则╕A;只要A,就B;只有B才有A”三种表示.
所以反过来对应一下,除非天不下雨我就去图书馆就是“除非╕P,否则Q”,所以原语句就为,╕Q →╕P.也可以是它的等价式,P→Q.
另外告诉你一个我个人发现的规律,虽然没有理论依据,但应该还是正确的,就是说但凡是“除非A,否则B”的形式的语句符号化一般就是“╕A→B”