propositional中文是什么意思

发音:

中文翻译
造句

建议的
提议的
主张的

propositional act 命题行为
propositional algebra 命题代数
propositional calculus 句子逻辑; 命题逻辑; 命题演算
propositional connective 命题联结词
propositional constant 命题常数
propositional content 命题内容
propositional form 命题的形式
propositional formula 命题公式
propositional function 命题函数
propositional indicator 命题指示成分
propositional inference 命题推演
propositional knowledge 陈述性知识; 命题性知识
propositional law 命题定律
propositional learning 命题学习
propositional letter 命题字母
propositional logic 命题逻辑
propositional network 命题网络
propositional representation 命题表征
propositional symbol 命题符号
propositional thinking 判断性思维
propositional tree 命题树
propositional variable 命题变量; 命题变元
basic propositional function 基本命题函数
boolean algebra of propositional logic 命题逻辑布尔代数
proposition of law 法律主张
proposition matrix 命题矩阵

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

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是一种适用于处理不完全信息的新的逻辑系统。
According to the aristotle ' s viewpoint , the language feeling of argument was the appropriate reaction of the interlocutor to how the propositional truth condition was express by the language
摘要在亚里士多德的视野中，论证语感是交往会谈者对语言如何表达命题及其真值条件的适当反应。
The conclusion points out tha evaltalon propositional calculus is sbole extension of hsitional calculus . mnle , the authr deeply studies to get ch medl sets , and gets some conclusion
同时，在已有关于horn近似的快速推理研究的基础上，对如何尽快寻找模型集中的极小模型进行更深入的研究，得出若干结论。
In order to specify real - time system , many real time - logic , such as metric interval temporal logic , real time temporal logic , timed propositional temporal logic have been proposed
为了描述实时系统的性质和行为，各种不同的实时逻辑如mitl 、 rttl 、 tptl等相继提出，在本文中，我们对此作了一个较为细致的回顾。
Study on lattice - valued logic system a lattice - valued propositional logic system lp ( x ) based on lattice implication algebra is proposed . the syntax and semantics of lp ( x ) are discussed . the soundness theorem is proved
四、格值逻辑系统的研究建立了基于格蕴涵代数的格值命题逻辑系统l试x ) ，并讨论了它的语法和语义问题，证明了可靠性定理。
Fundamenta informaticae , 2004 , 62 : 1 - 23 . 10 kleine b " uing h , lettmann h . propositional logic : deduction and algorithms , cambridge university press , 1999 . 11 hilbert d , ackermann w . principles of mathematical logic
2提出了一个算法把ctl在有界语义下满足性的检测规约到一个qbf quantified boolean formulas问题的满足性的判定上，同时证明了算法的正确性。
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 ]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。
“ on - job ” training has the advantage of ensuring that activity ( repeated actions is a key factor in the apprentices ' knowledge construction ) and participation in everyday work activities “ forces ” learners to access higher order procedural and propositional knowledge
在职培训也有很多优势，受训工人重复一些操作对他们自身的知识构成帮助很大，而且在每天工作过程中感受工作的压力和强度有助于他们达到更高的工作水平。
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
给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式的真值表的直接计算和输出，以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。
At last , this paper discusses 3 - valued logic , points out some deficiencies of 3 - valued logic system , and establishes a propositional logic system with 4 values : true , false , divergent and meaningless . then this paper proves that this 4 - valued logic system is truth - functionally complete , and expands its connective
最后,本文对经典的三值逻辑进行了总结,在此基础上提出了一个四值逻辑系统,扩充了该系统的连接词,并讨论了该系统的一些代数性质。