mìngtíluóji

命题逻辑

mìng tí luó ji

ㄇㄧㄥˋ ㄊㄧˊ ㄌㄨㄛˊ ㄐㄧ

命題邏輯

命题逻辑的意思

词语解释

命题逻辑mìng tí luó ji

◎propositional logic;繁体:命題邏輯

国语辞典

命题逻辑mìng tí luó ji

◎propositional logic;繁体:命題邏輯

网络解释

命题逻辑 (汉语词语)

propositional logic;繁体:命題邏輯

字义分解

  • 命

    拼音 mìng 部首 口 总笔画 8

    命 [ mìng ] 1. 命 2. (会意。从口从令。表示用口发布命令。本义指派;发号) 3. 同本义 4. 命,使也。--《说文》。朱骏声按在事为令,在言为命,散文则通,对文则别。令当训使也,命当训发号也。” 5. 出君下臣名曰命。--汉·蔡邕《独断》 6. 语下命者,制令也。--《贾子·礼容》 7. 凡尊者之言曰命。--《文选·闲居赋序》注 8. 维君子命。--《诗·大雅·卷阿》 9. 某固辞不得命。--《仪礼·燕礼》 10. 命田舍东郊。--《吕氏春秋·孟春纪》。注命,令也。” 11. 命夸娥氏二子负二山。--《列子·汤问》 12. 令将军诚能命猛将统兵数万。--《资治通鉴·赤壁之 13. 命mìng 14. ⒈生命,生物的生活能力活~。救~。短~而亡。 15. ⒉上级对下级的指令~令。任~。 16. ⒊取名~名。~题。 17. ⒋指派,使用~他去办。欣然~笔。 18. ⒌迷信者所谓"人生来就注定的贫富、贵贱、生死"等瞎说生来就~苦。算~骗人钱财。 19. ⒍ 20. ⒎ 21. 命màn 1.轻慢;轻忽。 [更多解释]

  • 题

    拼音 tí 部首 页 总笔画 15

    题 [ tí ] 1. 题〈名〉 2. (形声。从页,是声。页,头。本义额头) 3. 同本义 4. 题,额也。--《说文》 5. 雕题交趾。--《礼记·王制》 6. 赤眉圆题。--《汉书·司马相如传》 7. 夫加之以衡扼,齐之以月题。--《庄子·马蹄》。释文引司马崔云月题,马额上当颅如月形者也。” 8. 文题白身,名曰孟极。--《山海经·北山经》 9. 雕题黑齿。--《楚辞·招魂》 10. 连缓耳,琐雕题。--《后汉书·杜笃传》 11. 《雕题交阯》--《后汉书·南蛮西南夷传》 12. 又如题注(以头额撞击);黑牛白题(黑牛白额) 13. 物品的前端或顶端 14. 又如榱题 15. 题tí 16. ⒈〈古〉指额圜(圆)~。 17. ⒉写作、讲演等的总名目~目。命~。话~。难~(〈喻〉难做的事)。 18. ⒊练习、考试等要求解答的问问~。试~。数学~。 19. ⒋写上,签署~写。~名。~款。~词。 20. ⒌评议品~。 21. ⒍ 22. 题dì 1.通"睇"。视。 2.通"匙"。歃血器。 [更多解释]

  • 逻

    拼音 luó 部首 辶 总笔画 11

    逻 [ luó ] 1. 逻 2. (形声。从辵,表示与行走有关,罗声。本义巡察,巡逻) 3. 同本义 4. 逻者数十骑。--宋·文天祥《指南录后序》 5. 又如逻伺(巡罗侦察);逻弋(巡逻);逻守(巡逻守卫);逻役(巡逻的差役);逻捕(巡察搜捕) 6. 遮拦 7. 蛛蝥结网工遮逻。--黄庭坚《演雅》 8. 又如逻打(拦截殴打);逻送(捕捉解送);逻惹(招惹);逻楂儿(找岔子) 9. 用同捋” 10. 又只见那洞外跳出几个小妖,在外边吆吆喝喝,伸拳逻袖,弄棒拈枪,依旧喜喜欢欢耍了。--《西游记》 11. 又如逻袖(捋起袖子) 12. 逻 13. 逻卒;巡行兵 14. 逻(邏)luó 15. ⒈巡察巡~。 16. ⒉ 17. ①思维的规律讲得有理,符合~辑。 18. ②研究思维的形式和规律的科学,叫逻辑学,也叫"伦理学"。 19. ③有时义同"规律"这是什么~辑? [更多解释]

  • 辑

    拼音 ji 部首 车 总笔画 13

    辑 [ ji ] 1. 辑 2. (形声。本义车箱) 3. 同本义。泛指车子 4. 辑,车和辑也。--《说文》 5. 辑,合材为车,咸相得谓之辑。--《六书故》 6. 推于御也,齐辑乎辔衔之际。--《列子·汤问》 7. 整套书籍、资料等按内容或发表先后次序分成的各个部分 8. 辑 9. 聚集 10. 甲辑而兵聚。--《韩非子·说林》 11. 又如辑辑(群集的样子) 12. 敛,拖着不使脱落 13. 望于山川,遍于群神,辑五瑞。--《书·舜典》 14. 有饿者,蒙袂辑屦,贸贸然来。--《礼记》 15. 把各种来源的书面材料或项目经加工汇编成一个文件或 16. 辑jí 17. ⒈〈古〉车厢。泛指车子。 18. ⒉聚集甲~而兵聚。特指编书报等或编成的书编~。丛书第四~。 19. ⒊和睦~睦。〈引〉安抚,安定以~一方。 20. ⒋收敛~杖(收起拐杖)。 [更多解释]

分字组词

相关组词