好单词

propositional

美：[ˌprɒpəˈzɪʃən(ə)l]   英：[ˌprɑpəˈzɪʃən(ə)l]

中文翻译

adj.命题的；建议的

网络解释

命题式; 命题式的; 命题功能

英文短语

  • 1.propositional variable 命题变量；[数]命题变元
  • 2.propositional logic 命题逻辑
  • 3.propositional calculus 命题演算
  • 4.propositional inference [数]命题推演
  • 5.Propositional Attitude 命题态度
  • 6.propositional learning 命题学习
  • 7.propositional function [数]命题函数；命题函项；命题函词
  • 8.propositional algebra 命题代数

    • 英文例句

  • 1.This paper introduces a method for propositional logic calculation.介绍了命题逻辑演算方法。
  • 2.And the proposition is the propositional sign in its projective relation to the world.一个命题就是一个处在对世界的投影关系中的命题符号。
  • 3.Instituting the propositional theory is necessary for a scientific study of sociology.建构命题化的理论是社会学研究科学化的必然要求。
  • 4.Each Girard quantale can provide the theoretical base of linear propositional formula.它为线性命题公式提供了理论基础；
  • 5.Propositional formulas decision is one of core issues in artificial intelligence field.命题公式的判定是人工智能领域中的一个核心问题。


    • 其他单词翻译

    英文单词 中文含义
    SMAP

    abbr. service management access point 业务管理接入点；signaling management application process 信令管理应用进程；system management application process 系统管理应用进程；shared memory access protocol 共享内存访问协议

    网络解释

    木村拓哉; 业务管理接入点(Service Management Access Point); 草彅刚
    SMZ

    abbr.新诺明（sulfamethoxazole）

    网络解释

    磺胺甲恶唑(Sulfamethoxazole); 磺胺甲基异口恶唑; 复方新诺明
    SMO

    abbr. Stabilized Master Oscillator 稳定主控振荡器

    网络解释

    Server Management Objects; 社会化媒体优化(Social Media Optimization); 序列最小优化算法(Sequential minimal optimization)
    SLLA

    abbr. Scottish Ladies Lacrosse Association 苏格兰女子曲棍协会；Sri Lanka Library Association 斯里兰卡图书馆协会
    SMAR

    abbr. 简单多片再生法（Simplified Multiple Aliquot Regenerative-dose）

    网络解释

    多片再生法; 斯玛; 再生剂量法
    SNF

    abbr.特殊护理设备（skillednursingfacility）

    网络解释

    无脂固形物(Solids-not-fat); 专业护理设施(skilled nursing facility); 爱森
    SMP

    abbr.自行迫击炮（SelfPropelledMortar）；对称多处理；伺服仪表操纵台（ServoMeterPanel）

    网络解释

    对称多处理(Symmetrical Multi-Processing); 对称多处理器(Symmetric Multi-Processor); 对称多处理机
    SMaj

    abbr.准尉副官（sergeantmajor）

    网络解释

    表贴式突波抑制器
    SLM

    abbr.源程序库维护（SourceLibraryMaintenance）；同步线路模块（SynchronousLineModule）；舰上发射的导弹（Ship-LaunchedMissile）

    网络解释

    空间光调制器(spatial light modulator); 服务级别管理(Service Level Management); 选择性映射(Sleceted Mapping )
    SMARTDRV

    n.DOS磁盘缓冲管理程序
    SNN

    abbr. Shannon；Eire (airport) 爱尔兰沙农（小型机场）；Ireland 爱尔兰

    网络解释

    香农(Shannon); 协同神经网络(Synergetic Neural Network); 深奈尼
    SN

    abbr. Saponification Number 皂化值

    网络解释

    锡; 序列号(Serial Number); 业务节点(Service Node)
    SMS

    存储管理服务；Short Message Service 手机短信服务

    网络解释

    短信(Short Message Service); 简讯; 短讯
    SLR

    abbr. Side Looking Rader 侧视雷达；Single Lens Reflex 单眼照相机

    网络解释

    单反相机(Single Lens Reflex); 卫星激光测距(satellite laser ranging); 单镜反光(Single Lens Reflector)
    SMAS

    浅表肌腱膜系统
    SNA

    abbr. systems network architecture 系统网络结构

    网络解释

    国民经济核算体系(System of National Accounts); 网络体系结构; 社会网络分析(Social Network Analysis)
    SMSA

    abbr.大城市及其郊区（美国行政区划单位）（StandardMetropolitanStatisticalArea）

    网络解释

    标准都会统计区(Standard Metropolitan Statistical Area); 标准大都市统计区(Standard Metropolitan Statistic Area); 标准大城市统计区(Standard Meh'opolitan Statistical Areas)
    SNOBOL

    abbr. string-oriented symbolic language 串处理专用符号语言，SNOBOL语言

    网络解释

    串处理
    SLT

    abbr.固态逻辑技术（SolidLogicTechnology）；固态逻辑晶体管（SolidLogicTransistor）

    网络解释

    统计学习理论(Statistical Learning Theory); 小梁成形术; 选择性激光小梁成形术(selective laser trabeculoplasty)
    SME

    abbr. Society of Manufacturing Engineers 〈美〉制造工程师学会