查询词典 logic

In our country, logic circles have different views on three theory problems :the definition of compound proposition , the definition of disjunctive proposition and the dignity of exclusive disjunctive proposition .

我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题，有不同的观点。应从"真假决说"角度来定义复合命题：复合命题是其中还包含命题，而且其真假由所包含的命题决定的命题

Disjunctive default logic : the consequence of a default is a set of formulae instead of a single formula.

析取缺省逻辑：缺省的结论是公式的集合而不是单一的公式。

However,such issues as how to derive negative information from disjunctive database or logic program,satisfactory settlement remains to be found.

首先，给出一种关于否定信息推理规则的评价准则，并用该准则分析比较已有的若干相关规则。然后，再给出一种不同的推理规则，并证明它的一些重要性质。

Bad Track disk There are two cases, a logic Bad Track, and the other is the physical Bad Track.

磁盘出现坏道一般有两种情况，一种逻辑坏道，另一种是物理坏道。

You can imagine the resulting text is disorganized, there is no logic.

你可以想象，生成的文字是杂乱无章，没有什么逻辑的。

This discourse mostly discuss that design and implement the management system on hosputal.the function which system can complete is:management the payfile、examine change、materia medica management、prior sclect、management be in hospital and so on.this system is main of different roles and execute different mission to design,these role seperate of common employee、material management person、finance accountant person、hospital management person,different roles dispensatory different mission and function.each role only can use the function which been distributive and can't operate other operation get out of line,so to achieve the aim of that each operation logic independence、dynemic link、highly compositive.all kinds of roles use the client is not same,limated correspond task modules to deal with operation.

本篇论文主要讨论了医院管理系统的设计及实现。系统主要完成的功能有：工资档案管理、门诊收费、药品管理、院长查询、住院处管理等；本系统是以企业中不用角色执行不同任务为主线进行设计的，这些角色分别为普通员工、物资管理人员、财务会计人员、医院管理人员，不用的角色所分配的任务和功能也各不相同。各角色只能使用被分配的功能而不能违规操作其他业务，以便达到各业务逻辑独立、有机联系、高度集成的目的，各类角色所使用的客户端不同，限定相应工作模块，进行业务处理。

Lifting the logic board and display assembly out of its plastic housing.

从塑料支架上抬起逻辑电路板和显示屏的组合。

I started with the game logic before I wrote a single line of display or sound code.

我开始与游戏逻辑之前，我写了一个显示或声音一行代码。

In logic: a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident.

逻辑学中；不能证明或反证的命题；其真实性是不证自明的。

I want to dispute with him,but his logic is very perfect.

我想跟他辩，但他的逻辑是滴水不漏。

The circulation, consumption and reproduction of the trilogy have not only testified to its historical significance and literariness, but also invested it with new meanings.

该三部曲的流通、消费与再生产不仅验证了其历史意义及文学性，而切还赋予它以新的意义。

If he thought that he could buy me off, he would be wrong.

如果他认为他可以收买我，那他就大错特错了。