逻辑命题的英文

• logic proposition
• logical proposition

• "逻辑"英文翻译    logic
• "命题"英文翻译    assign a topic; set a questi ...
• "逻辑命名" 英文翻译 :    logical naming
• "【逻辑学】逆命题。" 英文翻译 :    converse proposition
• "命题逻辑" 英文翻译 :    logic of proposition; propositional calculus; propositional logic; statement logic
• "逻辑地真命题" 英文翻译 :    logically true proposition
• "命题动态逻辑" 英文翻译 :    pdl
• "命题逻辑公式" 英文翻译 :    formula of propositional logic
• "模糊命题逻辑" 英文翻译 :    fuzzy propositional logic
• "断言级逻辑，命题逻辑" 英文翻译 :    assertion-level logic
• "命题逻辑布尔代数" 英文翻译 :    boolean algebra of propositional logic
• "命题线性时间逻辑" 英文翻译 :    pltl
• "命题" 英文翻译 :    1.(出题目) assign a topic; set a question 命题论文 assign a subject for thesis2.[逻辑学] (表达判断的句子) proposition; statement; thesis: ‘北京是中国的首都’, 这个句子就是一个命题。 the sentence, beijing is the capital of china is a proposition.3.[数学] proposition
• "命题逻辑的外延性原理" 英文翻译 :    extension principle of propositional logic
• "编辑命令" 英文翻译 :    edit commands
• "编辑命令列表" 英文翻译 :    edit command list
• "图像编辑命令" 英文翻译 :    image editor command
• "文字编辑命令" 英文翻译 :    ed
• "反命题" 英文翻译 :    contrary proposition; counter proposition; counterproposition; inverse proposition
• "假命题" 英文翻译 :    false statement; false proposition
• "命题；断言" 英文翻译 :    assertion
• "命题树" 英文翻译 :    propositional tree
• "逆命题" 英文翻译 :    contrary propositions; converse proposition; converse sentence; inverse proposition
• "原命题" 英文翻译 :    primary statement
• "真命题" 英文翻译 :    true statement

• The classification of propositions on the basis of whether they assert or deny the possibility , impossibility , contingency , or necessity of their content
  模态逻辑命题的限制条件，建立在其内容的肯定或否定其可能性，不可能性，偶然性或必然性基础之上
• The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems . they are fit for dealing with incomplete information
  中介逻辑命题演算系统mp ~ m和中介逻辑谓词演算系统mf ~ m是一种适用于处理不完全信息的新的逻辑系统。
• Chapter one the general theories of truth of fact . firstly , the author makes a semantic distinction between “ fact ” and “ truth ” , and points out that “ fact ” and “ truth ” are not only concepts in the ontological sense but also concepts in the epistemological sense . in the epistemological sense , “ fact ” means judgment proposition and “ truth of fact ” shows that “ fact ” is concept of judgment proposition of truth and “ truth ” is attribute of judgment of “ fact ”
  在坚持以辩证唯物主义认识论为指导的前提下,运用语义分析和逻辑分析方法对案件事实真实性进行了语义上的界定和逻辑命题意义上的分析,指出案件事实是以真实性为基础和核心的人的认识和判断的产物。
• In this paper , a new type algebra is introduced , it is the algebraic abstract of mpm system just as boolean algebra is the algebraic abstract of 2 - valued propositional calculus . the main purpose of this paper is to investigate the various properties of the new algebra . in addition , this paper constructs an axiom set based on the medium logic propositional calculus system mpm , and gives a proof of its completeness
  本文通过对mpm中介逻辑命题演算系统进行代数抽象,建立了一个新的代数系统,讨论了该代数系统的性质,并利用该代数系统的代数性质构造了中介命题演算系统mpm上的一个公理完备集合,使用该公理集合可以方便的推导出mpm上的等值和互推公式,这对于处理不完全信息数据库的查询优化有着重要作用。
• The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm is a new logic system modified from the existing medium logic system . this system is fit for dealing with incomplete information . it can act as the theory foundation for dealing with incomplete information
  中介逻辑命题演算系统mpm和中介逻辑谓词演算系统mfm是在改造原有的中介逻辑系统的基础上提出的一种新的逻辑系统,该逻辑系统特别适用于处理不完全信息,可以作为处理不完全信息的理论基础。