首页
一站直销
>
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））
相关问答
最新问答
每日话题：阿里旅行更名“飞猪” 是否能“飞”得更远
给仓鼠买了个双层的笼子，上面是房子，可俩星期了仓鼠一回也没上去过（以前住单层的）怎么回事
通电线圈在磁场中受力转动和 通电导线在磁场中受到里的作用有什么区别
8厘冲针能否冲穿6厘铁板
为什么大家都在嘲讽程序猿？
家用钢制散热器和铝制散热器哪个好
女孩学医学什么专业好
matlab怎么去除剔除矩阵中的nan
写日的诗歌有哪些？
蓓多康生物医药科技（上海）有限公司怎么样？
