逻辑命题 meaning in English
logic proposition
logical proposition
Examples
- 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是在改造原有的中介逻辑系统的基础上提出的一种新的逻辑系统,该逻辑系统特别适用于处理不完全信息,可以作为处理不完全信息的理论基础。