查询词典 statement logic

Task logic can be used to describe the types of activities; process logic is defined according to the relationship between activities; beginning/ending logic provides trigging mechanism for activities.

组织模型和资源模型采用基于对象关系的模型表示。

Dummett's views on intuitionism logic can be divided into three levels that are proof theory, semantics, and the theory of meaning. He expounded and proved the arguments; intuitionism logical rules are self-defended, and their semantic interpretations can be avoided cyclic argument while he demonstrated the philosophical-logical intentions of the dispute between classic logic and intuitionism logic.

他对直觉主义逻辑的辩护包括证明论、模型论或语义学、意义理论三个层次，他论证了直觉主义逻辑规律是自我辩护的、其语义解释可以避免循环论证，阐明了直觉主义逻辑和经典逻辑之争的逻辑哲学内涵。

Increasing along with the growth of grade namely along with the growth of the accepted logic knowledge, the middle school students' logic in daily lives more inclines to mathematical logic.

随着年级的增长，相应的接受逻辑知识增多，中学生日常推理更加倾向于使用数学推理。

This paper first explores the relationship between the argument- as-product and argument-as-process; then it classifies the non-formal logic as formal-dialectical school and pragma-dialectical school; thirdly, it focuses on theoretical sources, basic characteristics and objects of non-formal logic, and finally it proposes the future directions of non-formal logic.

该文在把论证分为作为静态成品的论证和作为动态过程的论证两大类的基础上，把非形式逻辑区分为形式论辩学派和语用论辩学派两大学派，分析了非形式逻辑的理论来源、基本特征和研究对象，探讨了非形式逻辑的发展趋势。

The foundation education is changed direction the basic purpose of"education for all-round development" by"should try an education" to want intelligence at the child to develop a stage to come out their intelligences development with maximum limit, but the high school logic learn teaching to the foundation educate in of the intelligence development has important influence decision a function, so, as soon as possible become is suitable for high school logic in Yunnan to learn the school of teaching this a course to become each high school logic to learn the problem that the worker should value.

基础教育由&应试教育&转向&素质教育&根本目的是要在儿童智力发展阶段最大限度地把他们的智能开发出来，而高校逻辑学教学对基础教育中的智能开发有重要的影响决定作用，所以，尽快形成适合云南高校逻辑学教学的校本课程成为每一个高校逻辑学工作者应该重视的问题。

Fuzzy logic can deal with values between 0 and 1 is more analogous to human logic than the traditional binary logic of digital computers.

模糊逻辑可处理0与1间的数值；与传统的数字电脑的二进制逻辑比较，它更似人脑的逻辑推理。

When we operate all accessing databases in encapsulation at Data Access Layer by ActiveX DLL packages (DAL layer, Namely data access layer),and operate all business logic or transaction processings in encapsulations at Business Logic Layer ( BLL layer, namely business logic layer), ASP dynamic webpages are offered to the interface of user for Presentation Layer ( PL layer, Namely present layer).

使用ActiveX DLL组件将对数据库的存取操作全部封装在Data Access Layer层（简称DAL层，即数据存取层），将商业逻辑或事务处理全部封装在Business Logic Layer层（简称BLL层，即商业逻辑层），提供给使用者的界面就是Presentation Layer层的ASP动态网页。

It holds that, by means of logic inference,"x believes p" can be interpreted as "x thinks that p is true". By the same token, the system of the Logic of Belief can-be established, on the basis of the logic of its classical proposition, by adding the modal auxiliary "should "before t...

作者认为，从逻辑的观点出发，可以简单地将&x 相信 p&解释为&x认为p是真的&，与之相对应，信念逻辑系统可以在经典命题逻辑的基础上加入模态词&应该&而得以建立。

It holds that, by means of logic inference,"x believes p" can be interpreted as "x thinks that p is true". By the same token, the system of the Logic of Belief can-be established, on the basis of the logic of its classical proposition , by adding the modal auxiliary "should "before the verb "believe".

作者认为，从逻辑的观点出发，可以简单地将&x 相信 p&解释为&x认为p是真的&，与之相对应，信念逻辑系统可以在经典命题逻辑的基础上加入模态词&应该&而得以建立。

In the 1950s,Carnap developed a probability logic which system made it possible for inductive logic to be deductive, formal and definitive,and pushed the study on inductive logic onto an unprecedented level.

他在20世纪50年代提出了概率逻辑系统，这一体系宣告了归纳逻辑的演绎化、形式化和定量化，将概率归纳逻辑推向了&顶峰&。

Foods high in this vitamin include oily fish such as salmon, tuna and, and fish liver oils.

维生素D含量高的食物包括诸如大麻哈鱼、金枪鱼和鲭鱼之类的油鱼以及鱼肝油。

We need you to cosign our public letter demanding that press intimidation cease immediately, and that all charges be dropped.

我们需要您cosign我们的公共信，要求记者立即停止恐吓，并要求所有收费下降。