命题公式的英文

• propositional formula
• statement formula

• "命题"英文翻译    assign a topic; set a questi ...
• "公式"英文翻译    formula; expression
• "问题公式化" 英文翻译 :    problem formulation
• "问题公式化工具" 英文翻译 :    problem formulation tool
• "命题逻辑公式" 英文翻译 :    formula of propositional logic
• "命题" 英文翻译 :    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
• "公式" 英文翻译 :    formula; expression 代数公式 an algebraic formula; 硬套公式 apply formula mechanically; 公式语言 formula language; 公式主义 formularism
• "问题公屋" 英文翻译 :    defective block
• "主题公园" 英文翻译 :    a theme park; amusement park; taman tema; theme park ds
• "反命题" 英文翻译 :    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
• "老龄问题公报" 英文翻译 :    bulletin on aging
• "模拟主题公园" 英文翻译 :    sim themepark
• "欧洲主题公园" 英文翻译 :    europa park
• "性爱主题公园" 英文翻译 :    sex theme park
• "一个主题公园" 英文翻译 :    a theme park
• "主题公钥信息" 英文翻译 :    subject public key information
• "【逻辑学】逆命题。" 英文翻译 :    converse proposition
• "本原命题" 英文翻译 :    primary sons

• 2 . numerais system of propositional calculus nend netwrk deals with data , but it is a formula set in proposihonal calculus
  命题逻辑系统的数字化神经网络的处理对象是数据，而命题逻辑系统的处理对象是命题公式集。
• Based on paper [ 1 ] and [ 2 ] , this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally
  摘要在文[ 1 ]和文[ 2 ]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。
• Using these algorithms , we can use computer mechanically to list truth value table of a group of propositional formulae , determine that if a given propositional formula is a tautology , a contradiction , or if the formula is satisfiable
  给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式的真值表的直接计算和输出，以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。
• Bassing on the theory of equivalent calculates , this paper utilizes the data structure and c + + program design language , to analyze the logic structure of proposition formula , designs the saving structu - re that use the broad sense menu chained list , and explored to beg for in this foundation how to carry out its basic operation , thus and further clarifying the computer implementation algorithm of the complicated equivalent calculation
  本文针对等值演算理论,通过数据结构和c + +程序设计语言,分析了命题公式的逻辑结构,设计出用广义表单链表的存储结构,并在此基础上探讨了如何实现其基本操作,从而进一步阐明了复杂等值演算的计算机实现算法。