首页
15问答网
>
2在一阶逻辑中将下列命题符号化 (1)某列火车都比某些汽车快.2)鸟都会飞翔
2在一阶逻辑中将下列命题符号化 (1)某列火车都比某些汽车快.2)鸟都会飞翔
2025-04-13 12:34:32
推荐回答(1个)
回答1:
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))
相关问答
最新问答
锅炉止回阀结构
作文怎样算套作?把课外看到的好材料用进去这样算不算套作呢?
ip default-network和ip route 0.0.0.0 0.0.0.0默认路由的区别
大专生到奇瑞公司怎么样?
广州到从化神岗怎么去
蜡质芽孢杆菌(简称蜡芽)有哪些特点?主要防治哪些病害?
口腔健康知识普及背景是什么?
手机屏蔽了朋友来自易信发的短信如何取消屏蔽
去昆明游玩时在御玉庄购买了一个黄龙玉手镯,麻烦给看看是真货吗?大概值多少钱?感激不尽!
英雄杀打不开,打开之后界面不动,像图片里那样