把多重符号化成单一的符号由“______”的个数决定；若“_______”的个数为偶数时,化简结果为“____”；

离散数学命题符号化如果我上街,我就去看书,除非我很累,

离散数学命题符号化如果我上街,我就去看书,除非我很累,
除非q,否则非p,是p蕴含q

healthl3301年前0

共回答了个问题 | 采纳率

查看全部

谓词逻辑的问题:是不是把命题逻辑符号化,就是谓词逻辑?

谓词逻辑的问题:是不是把命题逻辑符号化,就是谓词逻辑?
例如"我是人"是个命题逻辑,那么
H(x)表示"x是人"就是一个谓词逻辑,x的取值决定了这句话的真假.
我这样理解对么?

geu59d1wq7bbd1年前2

qqxxyy999 共回答了15个问题 | 采纳率86.7%

我觉得谓词逻辑就是把谓词看成一个函数f(x)然后把主语看成个体,这些个体赋值给这个函数以后呢得到了句子的真值
命题逻辑关注的是命题与命题之间的关系,命题和命题用与或非蕴含这些逻辑符号连接之后的真值,所以说谓词逻辑可以解释atomic命题的真值条件以及组合命题的真值条件,命题逻辑只解释atomic命题由各种关系组合之后的命题的真值条件
比如说p(小明是人）是一个真命题,q（小狗是人）是一个假命题,p&q根据命题逻辑就是一个假命题,至于p或者q为什么是真命题或假命题没法解释
谓词逻辑就可以解释为什么小明是人是真,小狗是人不是,因为是人这个函数对小明为真对小狗为假

1年前查看全部

离散数学一阶逻辑证明问题1、有些人喜欢所有的花2、任何金属都可以溶解在某种液体中这2个命题要怎样符号化?

严公公1年前1

skyline188 共回答了17个问题 | 采纳率94.1%

简单的记法：谓词定义中直接限定个体域；
1、定义：
　　P（x,y）：人x喜欢花y；
则：
　　命题1：Ë（x）Ä（y）P（x,y）；（其中Ë、Ä分别表示存在量词和全称量词）
2、定义：
　　Q（x,y）：金属x可以溶解在液体y中；
则：
　　命题2：Ä（x）Ë（y）Q（x,y）；
复杂一点：将个体域假设为全总个体域；
1、需增加定义：
　　R（x）：x是人；
　　H（x）：x是花；
则：
　　命题1：Ë（x）｛R（x）∧Ä（y）［H（y）→P（x,y）］｝；
即：
　　有那么一些x：
　　　　x是人,并且,（这些x）对于任意的y：
　　　　　　只要y是花,那么,x就一定喜欢y；
2、需增加定义：
　　J（x）：x是金属；
　　Y（x）：x是液体；
则：
　　命题2：Ä（x）｛J（x）→Ë（y）［Y（y）∧Q（x,y）］｝；
即：
　　对于任意的x：
　　　　如果x是金属,那么,一定存在一些y：
　　　　　　y是液体,并且,x可以溶解在y中；

1年前查看全部

离散数学：符号化问题除非天下大雨，否则他不在室内运动。只有天下大雨，他才在室内运动。如何理解？如何符号化？

多情公主1年前1

余哲 共回答了13个问题 | 采纳率92.3%

A：天下大雨
B：他在室内运动
¬A→¬B
B→A

1年前查看全部

求教一道离散数学证明题!急!鸟有翅膀,鸟会飞；猴子没有翅膀,猴子不会飞；所以猴子不是鸟.将推理符号化并给出形式证明.（注

求教一道离散数学证明题!急!
鸟有翅膀,鸟会飞；猴子没有翅膀,猴子不会飞；所以猴子不是鸟.
将推理符号化并给出形式证明.
（注：跟网上传的那个题有点不一样哈）

9527到1年前0

共回答了个问题 | 采纳率

查看全部

将下列命题符号化1,相见时难别亦难2,如果时间静止不动,你就可以长生不老

f23号1年前2

蓝苹果Y 共回答了15个问题 | 采纳率100%

1、
p：相见难,q：离别难.
p → q.
2、
p：时间静止不动,q：你长生不老.
p → q.
so easy !没鸭梨

1年前查看全部

离散数学求解答将下列命题符号化，并指出其真值（1）只要2

zuihao1年前1

lnforever 共回答了17个问题 | 采纳率88.2%

P(a,b)：a

1年前查看全部

命题 2是素数4是素数是不对的 将该命题符号化

xiamoumou1年前1

小鹿666 共回答了20个问题 | 采纳率100%

令p表示“2是素数”,q表示“4是素数”,则原命题符号化为￢（p∧q）

1年前查看全部

求高手帮看看怎么表示,将下列命题符号化

求高手帮看看怎么表示,将下列命题符号化
命题的概念及特征是什么?将下列命题符号化：
⑴海很蓝或很大.
⑵如果张三和李四都不去,那么我就去.
⑶你只有努力奋斗,才能取得金牌.
2、有200人组成的翻译团,其中47人熟悉阿拉伯语,35人熟悉俄罗斯语,23人熟悉这两种语言,问有多少人对这两种语言都不熟悉?
3、什么是根数、根子数?根数有几种行遍法,分别是哪几种?

yuencho1年前2

dinqi 共回答了16个问题 | 采纳率87.5%

1、
（1）、设P为海很蓝,Q为海很大
则原命题可表示为：P∨Q
（2）、设“张三去”为Q,“李四去”为P,“我去”为R
则原命题可表示为：┓P∧┓Q ——> R
（3）、首先你要知道努力奋斗只是成功的必要不充分条件
设“你努力奋斗”为P,“取得金牌”为R
则原命题可表示为：┓P——>┓Q
2、
A为“熟悉阿拉伯语的人” |A|=47
B为“熟悉俄罗斯语的人” |B|=35
|A∧B|=23
|┓A∧┓B|=|┓(A∨B)|=200-47-35+23=141

1年前查看全部

如果太阳没出来,则或者下雨或者阴天而且温度下降 命题符号化

如果太阳没出来,则或者下雨或者阴天而且温度下降 命题符号化
p=太阳没出来,q=下雨或者阴天
有人写出是非p蕴涵q,应该怎样表达,非p不就成太阳出来了,要么下雨,要么温度下降啊!我觉得应该是p蕴涵q,说说你的意见

hshuai20051年前1

晓三子 共回答了21个问题 | 采纳率95.2%

按楼主的意思应该是p-->q
但是我觉得楼主命题设置的不好,命题应该设置成原子命题
应该这样设置
p:天气是晴天
q:天气是雨天
r：天气是阴天
s:气温下降
那么结果应该是
¬p→((q∨r)∧s)

1年前查看全部

离散数字有一题 在谓词逻辑中,将下列命题符号化,并构造该推理的证明 所有大学生都喜欢运动，李明是大

离散数字有一题 在谓词逻辑中,将下列命题符号化,并构造该推理的证明 所有大学生都喜欢运动，李明是大
离散数字有一题 在谓词逻辑中,将下列命题符号化,并构造该推理的证明
所有大学生都喜欢运动，李明是大学生
所有李明喜欢运动
我需要完整的答案 考试用的

Happy荔枝1年前1

水冰2 共回答了28个问题 | 采纳率89.3%

A(x):x是大学生
B(x):x喜欢运动
a:李明
前提：∀x(A(x)→B(x)),A(a)
结论：B(a)
（1）∀x(A(x)→B(x)) P规则
（2）A(a)→B(a) (1)
（3）A(a) P规则
（4）B(a) (2)(3)

1年前查看全部

每个人的外祖父都是他母亲的父亲,请问在离散数学中这句话如何符号化?

马斯比亚1年前1

飘之花絮 共回答了20个问题 | 采纳率85%

P每个人的母亲
Q每个人的母亲的父亲
R每个人的外祖父都是他母亲的父亲
P∧Q－>R

1年前查看全部

用谓词逻辑符号化下列命题：所有的整数都是有理数 有些整数是素数

Lily38911年前1

抗衡555 共回答了15个问题 | 采纳率86.7%

(倒A)任意x

1年前查看全部

符号化下列命题并推证其结论1.不存在白色的乌鸦,北京鸭是白色的,因此,北京鸭不是乌鸦.2.所有有理数是实数,某些有理数是

符号化下列命题并推证其结论
1.不存在白色的乌鸦,北京鸭是白色的,因此,北京鸭不是乌鸦.
2.所有有理数是实数,某些有理数是整数,因此某些实数是整数.
3.没有不守信用的人是可以信赖的,有些可以信赖的人是受过教育的人,因此,有些受过教育的人是守信用的.
请懂离散数学的同学回答下,正确的证明一个题目也给分！不要做无意义的灌水.

柒米米1年前1

xiao2yang 共回答了20个问题 | 采纳率90%

由于无法输入,以下A代表全称量词,E代表存在量词,请注意更正.
2、设：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
3、设：F(x)：x是守信用的.G(x)：x是可以信赖的.P(x)：x是受过教育的.
原命题符号化为：
前提：┒Ex(┒F(x)∧G(x)),Ex(G(x)∧P(x))
结论：Ex(P(x)∧F(x))
证明：(1)Ex(G(x)∧P(x)) 前提引入
(2)G(a)∧P(a) (1)EI
(3)G(a) (2)化简
(4)┒Ex(┒F(x)∧G(x)) 前提引入
(5)Ax(F(x)∨┑G(x)) (4)置换
(6)F(a)∨┑G(a) (5)UI
(7)F(a) (6)(3)析取三段论
(8)P(a) (2)化简
(9)F(a)∧P(a) (7)(8)合取引入
(10)Ex(P(x)∧F(x)) (9)EG

1年前查看全部

将下列命题符号化1）只有天下大雨,他才乘班车上班2）除非天下大雨,否则他不乘班车上班3）2与4都是素数,这是不对的4）“

将下列命题符号化
1）只有天下大雨,他才乘班车上班
2）除非天下大雨,否则他不乘班车上班
3）2与4都是素数,这是不对的
4）“2或4是素数,这是不对的”是不对的
太绕了.帮下我……谢谢

athlon73131年前1

sadgjhargjkth 共回答了15个问题 | 采纳率100%

设p为天下雨,q为他乘车上班.
1）q→p；由果索因.
2）-p→-q,（-为“非”的意思,下同）,相当于“如果天不下雨,他就不乘车上班.”
设s为2是素数,r为4是素数.
3）-（p^q）；
4）-（-（p√q））,√是“或”的意思.

1年前查看全部

在一阶逻辑中将命题符号化、1一切人都不一样高,2每个自然数都有后继数,3有的自然数无先驱数、自然数n的后继数为n+1,n

在一阶逻辑中将命题符号化、
1一切人都不一样高,2每个自然数都有后继数,3有的自然数无先驱数、自然数n的后继数为n+1,n=0,1,2…自然数n的先驱数为n-1,n=12,…

shenyu111年前1

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

不会

1年前查看全部

离散数学,求高手看看怎么表示,将下列命题符号化

离散数学,求高手看看怎么表示,将下列命题符号化
1.虽然交通堵塞,但是老张还是准时到达火车站
2.除非你陪我去,否则我就不去

zoumh19821年前1

kunlv 共回答了17个问题 | 采纳率94.1%

1
事件A:交通阻塞
事件B:老张准时到达火车站
A∨B -> A∧B
2
事件C:你去
事件D:我去
┐(C∧D) ┐D

1年前查看全部

将“小王晚上要回家,除非下大雨”这个命题符号化,P:小王晚上要回家 Q:下大雨

将“小王晚上要回家,除非下大雨”这个命题符号化,P:小王晚上要回家 Q:下大雨
还是不能理解,答案是非Q->P,说明非Q是P的子集,即由不下大雨可推出小王晚上回家,但不下雨,小王也可以不回家啊,我觉得是下大雨能推出小王不回家,即Q->非P,

Fan_Wei1年前2

芦向杰 共回答了19个问题 | 采纳率84.2%

小王晚上要回家,除非下大雨
下大雨小王不回家
Q推出非P
没下雨小王肯定回家
非Q推出P

1年前查看全部

将下列命题符号化,并构造推理证明

将下列命题符号化,并构造推理证明
所有的猫都爱吃鱼,咪咪是猫,所以咪咪也爱吃鱼.（一定要大神正确解答谢谢大家了）·····

火炬19201年前2

dongming1019 共回答了13个问题 | 采纳率92.3%

以下以A代表全称量词.
设F(x):x是猫,G(x):x爱吃鱼,a:咪咪.
前提：Ax(F(x)→G(x)),F(a)
结论：G(a)
证明：
1 Ax(F(x)→G(x)) 前提引入
2 F(a)→G(a) 1UI
3 F(a) 前提引入
4 G(a) 23假言三段论

1年前查看全部

将下列命题符号化： 1.如果气温高,他就去游泳. 2.只要A能被4整除,则A一定能被2整除.

将下列命题符号化： 1.如果气温高,他就去游泳. 2.只要A能被4整除,则A一定能被2整除.
3.小王一边看新闻,一边听音乐.
4.今天刮风或者下雨.
5.今天出太阳.

小虫不哭1年前1

有dd的卡通 共回答了17个问题 | 采纳率94.1%

1.p：气温高,q：他去游泳.命题符号化为p→q
2.p：A能被4整除,q：A一定能被2整除.命题符号化为p←q
3.a：小王,p：某人在看新闻,q：某人在听音乐.命题符号化为a→(p^q)
4.a：今天,p：某一天刮风,q：某一天下雨.命题符号化为a→(pvq)
5.a：今天,p：某一天出太阳.命题符号化为a→p

1年前查看全部

存在x对任意y都有x＋y＝5,个体域为整数,在一阶逻辑将这个命题符号化

存在x对任意y都有x＋y＝5,个体域为整数,在一阶逻辑将这个命题符号化
如果命题变为任意x对存在y都有x＋y＝5,个体域为整数呢?

nishusheng-1461年前1

jizhengge 共回答了19个问题 | 采纳率84.2%

F（x）：x是整数 F(y):y是整数 H(x,y):x+y=5 vx(F(x)->Ey(F(y)∧H（x,y）)) 傻丫丫

1年前查看全部

”2或4是素数,这是不对的“是不对的.把上面这句话符号化,我看不怎么懂,希望大家帮我解决

27671年前1

zef9806 共回答了21个问题 | 采纳率95.2%

p:2是素数
q:4是素数
符号化:┐┐(p∨q)

1年前查看全部

A．中国汉字起源于图画B．今天的汉字由象形字逐渐符号化，脱离图画而形成C．汉字的总演变趋势是由繁到简D．反映了汉字的整个

A．中国汉字起源于图画
B．今天的汉字由象形字逐渐符号化，脱离图画而形成
C．汉字的总演变趋势是由繁到简
D．反映了汉字的整个演变发展脉络

西游二师弟1年前1

凉砾子 共回答了15个问题 | 采纳率100%

D

1年前查看全部

为了方便人们记忆；阅读和编程，把机器语言进行符号化，相应的语言称为____。

为了方便人们记忆；阅读和编程，把机器语言进行符号化，相应的语言称为____。
A、数据库系统
B、高级语言
C、源程序
D、汇编语言

sinellee1年前6

再向虎 共回答了14个问题 | 采纳率71.4%

D、汇编语言

1年前查看全部

离散数学题,详细看补充说明~将下面语句符号化：1、控制台打印机既可作为输入设备又可以作为输出设备使用2、控制台打印机今天

离散数学题,详细看补充说明~
将下面语句符号化：
1、控制台打印机既可作为输入设备又可以作为输出设备使用
2、控制台打印机今天既可作为输入设备又可以作为输出设备使用
3、控制台打印机既可作为输入设备又可以作为输出设备

heroarthur1年前1

不道德的礼物 共回答了15个问题 | 采纳率86.7%

p:控制台打印机
q:可作为输入设备
r:可作输出设备
前提：p-->(q∧r)

1年前查看全部

符号化命题“并非所有的质数都能被2整除”

符号化命题“并非所有的质数都能被2整除”
快 急

午后的毛毛虫1年前1

HuangXS 共回答了15个问题 | 采纳率86.7%

注：存在符号用*代替,属于符号用代替：
A={质数},B={整数}, *aB.
这道题应该不止有一个答案的,只要能把意思表达出来就行.

1年前查看全部

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

白开水的微笑1年前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年前查看全部

离散数学填空题22．设N(x)：x是自然数；J(x)：x是奇数；Q(x)：x是偶数,用谓词公式符号化命题“任何自然数不是

离散数学填空题2
2．设N(x)：x是自然数；J(x)：x是奇数；Q(x)：x是偶数,用谓词公式符号化命题“任何自然数不是偶数就是奇数”.( )
请于27日前回答完毕.

耀眼的钻石1年前3

wbjxx 共回答了22个问题 | 采纳率81.8%

N(x)=>(J(x)∧┐Q(x))∨（┐J(x)∧Q(x))

1年前查看全部

命题逻辑用P、Q、R、S分别表示不同的简单命题,并将下列命题符号化.1．甲、乙、丙、丁至少有一个人是北京人.2．甲、乙、

命题逻辑
用P、Q、R、S分别表示不同的简单命题,并将下列命题符号化.
1．甲、乙、丙、丁至少有一个人是北京人.
2．甲、乙、丙并非都是上海人.
3．如果患肺炎,就会发高烧.
4．只有是广东人,才能报考H大学.
5．如果明天是晴天,那么我们去打球,否则去图书馆.

zdy99141年前3

九黑 共回答了21个问题 | 采纳率90.5%

1.p∨q∨r∨s
2.¬( p∧q∧r)
3.p→q
4.p←q
5.p→q∨

1年前查看全部

在一阶逻辑中将下列命题符号化： 1.没有不散的筵席 2.闪光的未必是金子 3.骆驼都比马大

在一阶逻辑中将下列命题符号化： 1.没有不散的筵席 2.闪光的未必是金子 3.骆驼都比马大
4.有的骆驼比所有的马都大
5.所有的骆驼都比某些马大
6.有的骆驼比某些马大

一夜醒来1年前1

wlp666 共回答了24个问题 | 采纳率87.5%

-是否的意思。设宴席为q，散去为p，这句话意思所有宴席都会散去，q→p。设金子为q，闪光为p，金子一定闪光，q→p。3456不懂，或者这么说，不是所有句子都能符号化。比如，鸟会飞，是判断句能符号化。鸟在飞，不是判断句不能符号化。

1年前查看全部

离散数学的谓词推理问题.将下列推理符号化,并给出形式证明.所有的哺乳动物都是脊椎动物,并非所有的哺乳动物都是胎生动物,所

离散数学的谓词推理问题.将下列推理符号化,并给出形式证明.所有的哺乳动物都是脊椎动物,并非所有的哺乳动物都是胎生动物,所以有些脊椎动物不是胎生的.

7636200091年前1

mazeyou_001 共回答了19个问题 | 采纳率100%

记
P(x)：x 是哺乳动物；J(x)：x 是脊椎动物；T(x)：x 是胎生动物,
前提：Ax(P(x)→J(x)),┐Ax(P(x)→T(x)),
结论：Ex(J(x)∧┐T(x)).
证明：
① ┐Ax(P(x)→T(x)) 前提引入
② Ex(P(x)∧┐T(x)) ①等价替换
③ P(a)∧┐T(a) ②存在示例
④ P(a) ③简化
⑤ ┐T(a) ……
⑥ Ax(P(x)→J(x))
⑦ Ax(┐P(x)∨J(x))
⑧ ┐P(a)∨J(a)
⑨ J(a)
⑩ J(a)∧┐T(a)
⑪ Ex(J(x)∧┐T(x))
得证推理有效.

1年前查看全部

地图数据符号化方法：统一符号化、个别符号化、等级符号化、比率符号化的解释

古调独弹1年前1

gggg 共回答了23个问题 | 采纳率91.3%

符号化有两个含义：在地图设计工作中,地图数据的符号化是指利用符号将连续的数据进行分类分级、概括化、抽象化的过程.而在数字地图转换为模拟地图过程中,地图数据的符号化指的是将已处理好的矢量地图数据恢复成连续图形,并附之以不同符号表示的过程.这里所讲的符号化是指后者.
比率符号：在分级符号表示方法中,属性数据被分为若干级别,在数值处于某一级别范围内的时候,符号表示都是一样的,无法体现同一级别不同要素之间的数量差异.而比率符号表示方法是按照一定的比率关系,来确定与制图要素属性数值对应的符号大小,一个属性数值就对应了一个符号大小,这种一一对应的关系使得符号设置表现得更细致,不仅反应不同级别的差异,也能反映同级别之间微小的差异.但是如果属性数值过大,则不适合采用此种方法,因为比率符号过大会严重影响地图的整体视觉效果.
等级符号化:将要素属性数值按照一定的分级方法分成若干级别之后,用不同的颜色或者符号来表示不同级别.
统一符号化、个别符号化没有听说过.下面是另外一些常见的符号化法.
单一符号：采用大小、形状、颜色都统一的点状、线状或者面状符号来表达制图要素.这种符号设置方法忽略了要素在数量、大小等方面的差异,只能反映制图要素的地理位置而不能反映要素的定量差异,然而正是由于这种特点,在表达制图要素的地理位置具有一定的优势.
分类符号：根据数据层要素属性值来设置地图符号的方式是分类符号表示方法.将具有相同属性值和不同属性值的要素分开,属性值相同的采用相同的符号,属性值不同的采用不同的符号.利用不同形状、大小、颜色、图案的符号来表达不同的要素.这种分类的表示方法能够反映出地图要素的数量或者质量的差异,对地理信息的决策作用提供了支持.
点值符号：使用一定大小的点状符号来表示一定数量的制图要素,表现出一个区域范围内的密度数值,数值较大的区域点较多,数值小的地区点较小.是一种用点的密度来表现要素空间分布的方法.
统计符号：这是专题地图中经常应用的一类符号,用于表示制图要素的多项属性.常用的统计图有饼状图、柱状图、累计柱状图等.饼图主要用于表示制图要素的整体属性与组成部分之间的比例关系、柱状图常用于表示制图要素的两项可比较的属性或者是变化趋势,累计柱状图既可以表示相互关系与比例,也可以表示相互比较与趋势.

1年前查看全部

离散数学一阶逻辑符号化问题 鸟都会飞翔 x, M(x):x是鸟 F(x):x会飞 应该表示成

离散数学一阶逻辑符号化问题 鸟都会飞翔 x, M(x):x是鸟 F(x):x会飞 应该表示成
离散数学一阶逻辑符号化问题
鸟都会飞翔
x,
M(x):x是鸟
F(x):x会飞
应该表示成
“任意x(M(x)→F(x))”
还是
“任意x(M(x)∧F(x))”
?
为什么?他们有什么区别?

j简1年前1

爱你的心绝口不提 共回答了18个问题 | 采纳率100%

选择第一个符号化方式,表示为“任意的x,如果x是鸟,x一定可以飞翔”.
第二个说的是,所有的x一定是鸟且能飞翔,与命题表达有区别.这要看个体域是什么,如果是鸟类集合,两个表示都行,如果个体域是全总个体域,代表一切事物,第二个表达就是错的了.
符号化时,全称量词与蕴涵联结词→结合,存在量词与合取∧结合.

1年前查看全部

好难啊,有没有人可以帮你我啊?一．用谓词表达式符号化下列命题；(1) 并不是所有的人都爱吃糖；(4) 并非一切推理都能用

好难啊,有没有人可以帮你我啊?
一．用谓词表达式符号化下列命题；
(1) 并不是所有的人都爱吃糖；
(4) 并非一切推理都能用计算机完成；

iop11年前2

闲时逛逛 共回答了14个问题 | 采纳率100%

（1）设F(x)：x是人,M(x)：x爱吃糖
命题化为：┐倒A x（F(x)→M(x)）
（2）设F(x)：x是推理,M(y）：y是计算机,G(x,y)：x能用y完成
命题化为：┐（倒A x）（倒A y）（F(x)∧M（y）→G（x,y））

1年前查看全部

命题符号化.1.将下列命题符号化.（1）如果我吃饭前完成家庭作业,并且天不下雨的话,那么,我们就去看球赛.（2）虽然天气

命题符号化.
1.将下列命题符号化.
（1）如果我吃饭前完成家庭作业,并且天不下雨的话,那么,我们就去看球赛.
（2）虽然天气很好,老王还是不来.
2.用等值演算法验证等值式P→(Q→R) Q→(P→R).
3.求公式 的主析取范式.
4.用谓词和量词,符号化下列命题.
（1）某些实数是有理数.
（2）没有不犯错误的人.

wucz1年前3

扑鱼子 共回答了20个问题 | 采纳率95%

1,（1）P:我吃饭前完成家庭作业,Q：天不下雨,R：我们去看球赛
P∧Q-->R
（2）P：天气好,Q：老王来.P-->√Q
2,P→(Q→R) →＾P∨(＾Q∨R)→＾P∨＾Q∨R
Q→(P→R） →＾Q∨(＾P∨R)→＾Q∨＾P∨R
3,求公式 的主析取范式:构造真值表；利用等价公式求
4,（1）P(x):实数,Q(x)：有理数 (存在x)(P(x)→Q(x))
(2)P(x):人,Q(x)：犯错误；＾((存在x)(P(x)∧＾Q(x)))
“存在”符号没法打,

1年前查看全部

“ ‘a是什么?’ 这个问题是没有意义的” 写成符号化的逻辑语言

“ ‘a是什么?’ 这个问题是没有意义的” 写成符号化的逻辑语言
“ ‘a是什么?’ 这个问题是没有意义的” 能否写成符号化的逻辑语言?
它是否等价于：
既非
存在b,使得a是b.
又非
对于所有b,都有a不是b.

xingzhe5061年前2

梦幻一族刹那芳华 共回答了15个问题 | 采纳率80%

逻辑语言符号化的结果,依赖于你对问题分析的粒度.比如,如果把“a是什么?”这个问题当作一个整体：q；把“问题x是有意义的”当作一个谓词：S(x)；那么上面的话可以符号化为：┐S(q).不过从你的描述来看,你分析地更细,这时就要考虑更多的词项了：
（1）a：某种事物；
（2）是什么：“是”是描述事物属性的一个系动词,但“什么”是一个疑问代词；因此它不能构成命题,而只能构成疑问句；
（3）这个：代词,无需考虑；
（4）问题：比 a 更复杂的一种事物,由（1）和（2）构成；
（5）是有意义的：这是本题的关键；它也是描述事物的一个谓词,可以简单地用一个符号来表示：S(x)：问题 x 是有意义的；
　　但你没有这么做,而是根据你对它的理解,用命题的形式给出了它的定义.所以,与其说你在符号化句子,倒不如说你在为“问题‘a是什么?’（没）有意义”下定义.
你是对“没有意义”下的定义,但从你的描述中可以看出,你对“问题‘a是什么?’有意义”的理解是：
　　存在 b,使得 a 是 b；
所以,“没有意义”的符号化语言是：
　　不存在 b,使得 a 是 b；
而不是你所说的那样.因为,你的描述中的两个部分是相互矛盾的,即你对“没有意义”的定义是自相矛盾的.你可以自己检验,你所下定义所用的这个逻辑公式,是一个假言式.

1年前查看全部

将“虽然今天下雨,但是我去动物园了”符号化?求指教

笙乐嫣宁1年前1

andylb 共回答了19个问题 | 采纳率89.5%

A→B它对应的语句是“除非B,否则╕A;只要A,就B;只有B才有A”三种表示.
所以反过来对应一下,
虽然今天下雨,但是我去动物园了
就是“只有╕B,才有A”,所以原语句就为,╕B→╕A.也可以是它的等价式,B→A.
另外告诉你一个我个人发现的规律,虽然没有理论依据,但应该还是正确的,就是说但凡是“虽然A,但是B”的形式的语句符号化一般就是“╕B→A”

1年前查看全部

+2012前面有2010个正号,2011个负号,化简后结果是(),写出符号化间的规律.

hnczbao1年前1

深圳旋律 共回答了10个问题 | 采纳率100%

-2012 +2012前面有 2010个正号,2011个负号,一正加一负不变,多一个负号,故变号

1年前查看全部

离散数学符号化 （除非）问题,我夫人过生日我就送一束献花给她,除非我工作忙.求陈述符号化.设p：我夫人过生日. q：我送

离散数学符号化 （除非）
问题,我夫人过生日我就送一束献花给她,除非我工作忙.求陈述符号化.
设p：我夫人过生日. q：我送一束献花给她. r：我工作忙.
急.

飘忽布丁1年前1

bingzhizi 共回答了13个问题 | 采纳率84.6%

　　命题 “我夫人过生日我就送一束献花给她,除非我工作忙.” 符号化为：
　p ∧┐r→q

1年前查看全部

数理逻辑--合式公式的问题为什么p→(r→q)不是合式公式?"下雪路滑,他迟到了."这样符号化对么:p:下雪 q:路滑

数理逻辑--合式公式的问题
为什么p→(r→q)不是合式公式?
"下雪路滑,他迟到了."这样符号化对么:
p:下雪 q:路滑 r:他迟到了
(p→q)→r
如果这样不对,那如何符号化这个命题?

soun9451年前1

边缘之爱 共回答了20个问题 | 采纳率95%

p→(r→q) 是合式公式!合式公式 就是表达完整的公式,英文的说法 well formed formula ,意思就是“表达完整的公式”.（所以合式公式常常简写为 wff ）
"下雪路滑,他迟到了."也许可以这样符号化：
p:下雪 q:路滑 r:他迟到了
(p and q)→

1年前查看全部

排斥或符号化小王现在在宿舍或在图书馆 为什么可以符号化为 p∨q?书上说"不能同时为真的排斥或均可直接符号化为p∨q,能

排斥或符号化
小王现在在宿舍或在图书馆 为什么可以符号化为 p∨q?书上说"不能同时为真的排斥或均可直接符号化为p∨q,能同时为真的排斥或就应符号化为(p∧﹁q)∨(﹁p∧q).但是p∨q的真值表是p、q为1的时候也为1啊,那就是说小王现在可以都在图书馆和宿舍?

sbih1年前1

dashusj 共回答了16个问题 | 采纳率87.5%

因为两个命题都是针对同一个人,小王不可能既在宿舍,又在图书馆,用p∨q表示也可以,但是p与q不能同时为真.最好还是用排斥性或来表示：(p∧非q)∨(非p∧q)

1年前查看全部

存在一列火车比所有的汽车跑得慢,将这个命题符号化

你说快乐就好1年前1

waiyz11 共回答了30个问题 | 采纳率90%

存在G(y),任意F(x),H(F(x),G(y)) 任意A(x),B(A(x)) 任意C(x),G(C(x)) 以上中文表示对应的数学符号.

1年前查看全部

1设P：天下雨；Q：他乘公共汽车上班.将下列两命题符号化：

1设P：天下雨；Q：他乘公共汽车上班.将下列两命题符号化：
a．如果天下雨,他就乘公共汽车上班.
b．只有天下雨,他才乘公共汽车上班.
2给定集合X={a,b,c}上的关系R={(a,b),(b,c),(c,c)},试求出t(R),并画出相应的关系图

xgy520_821年前1

Tommas 共回答了13个问题 | 采纳率100%

1
a,P->Q
B,Q->P
2 t(R)={(a,b),(b,c),(c,c),(a,c)}
关系图只要在a,b,c之间划3根连线,c点自身画个环

1年前查看全部

我或你去看电影.符号化是：P^Q没搞懂啊

我或你去看电影.符号化是：P^Q没搞懂啊
那老师说就哎哟用^所依我就没搞懂啊

linyx_2001年前1

想为你轻轻唱首歌 共回答了19个问题 | 采纳率84.2%

P：我去看电影,Q：你去看电影
这样你这句话应该是P∨Q
“∨”这个符号是逻辑运算符号,表示“或者”的意思
“∧”这个号表示“并且”的意思

1年前查看全部

离散数学中”对于”怎么符号化比如说：”对于篮球他一点也不会”怎么符号化

doaimove1年前1

冰聆 共回答了10个问题 | 采纳率90%

"符号化"的是命题的整体意义,而不是个别词语.这句话是一个判定,所以就是一个命题.
把"对于篮球他一点也不会"看成一个命题,P
P为真,说明他一点也不会,P为假,说明他会打篮球.

1年前查看全部

小丽既聪明又用功是命题吗,如果不是怎么出题还说,把这个命题符号化~

athlon64fly1年前2

zluoli 共回答了20个问题 | 采纳率80%

这是一个“且”命题.即小丽聪明且小丽用功.
命题是一个作“判断”的语句,它要么成立要么不成立,即可以判别真假.
“如果一个人是小丽,那么这个人既聪明又用功”,有 点别扭.但也还合语法.

1年前查看全部

将下列命题谓词符号化1."所有有理数都是实数"2."有些有理数不是整数"

ASEW1年前1

缺水544 共回答了15个问题 | 采纳率100%

1.∨x( Q(x)→R(x））
2.令R(x）:X是实数 Q（x）：x是整数
∑（存在符号）x（ R（x)∧┐Q(x) )
符号有一点难打出来!

1年前查看全部

设Q（x）：x 是有理数,R（x）：x是实数.命题“某些实数是有理数”在谓词逻辑中的符号化公式是

设Q（x）：x 是有理数,R（x）：x是实数.命题“某些实数是有理数”在谓词逻辑中的符号化公式是
设Q（x）：x 是有理数,R（x）：x是实数.命题“某些实数是有理数”在谓词逻辑中的符号化公式是

zhangmuzi1年前1

lanly1108 共回答了21个问题 | 采纳率90.5%

Q包含于R

1年前查看全部

离散数学题目.用谓词和量词将下列语句符号化.

离散数学题目.用谓词和量词将下列语句符号化.
至多存在一个偶素数. 如果不方便打符号可以说说“至多”怎样表达,谢谢了.

天马行路1年前1

水吖75 共回答了20个问题 | 采纳率85%

至多=最多

1年前查看全部