模态命题的英文

• modal proposition

• "模态"英文翻译    modal; modality
• "命题"英文翻译    assign a topic; set a questi ...
• "命题" 英文翻译 :    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
• "模态" 英文翻译 :    modal; modality
• "瞬态命令" 英文翻译 :    transient command
• "状态命令" 英文翻译 :    status command
• "反命题" 英文翻译 :    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
• "逆命题, 倒转命题" 英文翻译 :    converse proposition
• "检查磁盘状态命令" 英文翻译 :    chkdsk
• "π模态" 英文翻译 :    pi mode
• "单模态" 英文翻译 :    single mode
• "多模态" 英文翻译 :    fiber optic connectors multimode fc/pc
• "复模态" 英文翻译 :    complex mode
• "模态，模型" 英文翻译 :    model
• "模态的" 英文翻译 :    modal
• "模态圆" 英文翻译 :    mode circle
• "模态阵" 英文翻译 :    modal matrix
• "模态组" 英文翻译 :    modal class
• "实模态" 英文翻译 :    normal mode

• Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part , we introduced quantifiers and predicate into lmp ( x ) , put up lattice - valued modal first - order logic system lmf ( x ) , and gave its semantic interpretation and syntax structure , proved soundness theorem and consistence theorem . moreover , in order to judge the satisfiability of formula , defined skolem standard type and h - interpretation . based on these work , made a primary discussion of a - resolution principle based on lmf ( x )
  第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统lmp队）中引进量词和谓词，建立格值模态一阶逻辑系统lmf （广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的skolem标准型和体解释；在此基础上，对基于系统lmf （ ）的a一归结原理进行了初步探讨
• Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ) , the author studied semantic and syntax properties of generalized lattice - valued modal logic system , and probed into a - resolution principle . the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part , we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ) , set up a new lattice - valued modal propositional logic system lmp ( x ) , studied its semantic properties and syntax structure , proved the soundness and consistence of this system . based on these work , discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ) , gave out the rules of computing a - direct resolvent and a - self resolvent , and proposed detailed resolution method
  本文在格值命题逻辑系统lp ( x )和格值一阶逻辑系统lf ( x )的基础上，讨论了广义格值模态逻辑系统的语义及语法性质，并对其-归结原理做了初步探讨，主要在下述三个方面取得了研究成果：第一部分：关于格值模态命题逻辑系统及其归结方法的研究在此部分，把模态算子n (必然)和p (可能)引入格值命题逻辑系统lp ( x ) ，建立了新的格值模态命题逻辑系统lmp ( x ) ，并研究了它的语义刻画及语法结构，证明了在此语义解释和语法框架下的系统仍是-可靠的和协调的；在此基础上，进一步研究了基于格值模态命题逻辑系统lmp ( x )的-归结原理，给出了计算-直接归结式和-自归结式的规则，并总结出具体的归结方法。