单词
文章
取名
英语词组短语
modal logic
英美
[数] 模态逻辑；情态逻辑
modal logic网络翻译
[数]
模态逻辑
模态是指事物或者认识的必然性和可能性等性质,模态逻辑(modal logic)是研究模态推理形式及其规律的逻辑,是自动推理研究领域中最具影响力的逻辑之一,它能够精确地描述在推理情况不确定的条件下,可能世...
情态逻辑... modal frequency模态频率；众数频率 modal logic模态逻辑；情态逻辑 modal verb情态动词 ...
模态论理... propositional logic 命题论理 modal logic 模态论理 traditional logic 传统论理学 ...
模态a．推断(deductive)，如例(8)，大致相当于模态 逻辑(modal logic)的“必然”。说话者认为话语所表达的命题Q(明天下雨)的可能性非常大，远大于相反的命题～Q(明天不下雨)的可能性。
modal logic常用短语
1. modal logic D：模态逻辑D系统
2. first-order modal logic：一阶模态逻辑
3. first order modal logic D：一阶模态D逻辑
4. propositional modal logic：命题模态逻辑
5. philosophy of modal logic：模态逻辑哲学
modal logic双语例句
Here's another one: Modal Logic.
这是另一个，模态逻辑。
We can do quite a lot with modal logic these days.
我们这几天会讲很多模态逻辑。
Modal logic is the logic of necessity and possibility.
模态逻辑是关于必要性和可能性的逻辑。
相关单词
- mythologyn. 神话，神话故事；错误的信念，谬误；神话学
- municipalityn. 市政当局；自治市
- mountebankn. 江湖郎中，骗子 vi. 行骗；走江湖卖假药
- milkmann. 牛奶商；送奶工人；挤奶员工 n. （Milkman）人名；（英）米尔克曼
- midgetn. 侏儒；（非正式）矮子，小东西；（修饰语）少年（业余运动）的 adj. 极小的，小型的 n. （Midget）（美、加、澳）密德杰特（人名）
- metropolisn. （国或地区的）首都，首府；大都会，大城市；教会省份的首领；殖民地的起源城市或国家 【名】 （Metropolis）（英）梅特罗波利斯（人名）
- meteorologyn. 气象状态，气象学
- merry go round旋转木马
- maturityn. （思想行为、作品等）成熟；发育成熟，长大成人；到期；（债券等）偿还期；（保险单、证券等）有固定到期日的票据
- matriculationn. 入学考试；大学入学许可；录取入学
- mathematiciann. 数学家 善作数字计算的人
- marketingn. 促销，营销 v. 推销，促销；出售；做买卖（market 的现在分词形式）
- manifestationn. 表现，显现；表现形式；（鬼魂或神灵）出现，显灵；示威运动
- mailmann. 邮差，邮递员
- lockoutn. 闭厂，停工