逻辑

Algebraic logic 2 logic function based on the express ways and simplification of the 3 in the scale of integrated circuits analysis and design of 4 flip-flops and a simple application circuit 5 synchronous sequential circuit analysis and design of 6 common synchronous sequential circuit 7 integrates asynchronous sequential circuits analysis and design of digital logic 8 the latest developments in technology is our university teachers digital logic courseware, very good

逻辑代数基础 2逻辑函数的表示方式和化简 3中规模集成电路的分析和设计 4触发器及其简单应用电路 5同步时序电路的分析和设计 6常见的同步集成时序电路 7异步时序电路的分析和设计 8数字逻辑技术的最新发展是我们大学老师数字逻辑的课件，非常不错

Besides, several representative designs of four value counter are presented and its method can be applied to the design of arbitrary value counter.

目前，三值逻辑设计理论已逐渐逐向成熟，这方面已有较多论述[1～4]。而四值逻辑设计，尤其是利用电压型四值逻辑电路实现四值时序逻辑电路设计的论述尚少。

The truth condition of intensional logical formulas was worked out according to the model-theoretic definition of Intensional Logic.

MG将内涵逻辑引入语义研究，语义表达式是内涵逻辑式，从句子到内涵逻辑的转变由翻译规则来完成，然后再按照内涵逻辑的模型论定义求出翻译句的内涵逻辑式的真值条件。

Classic system of deontic logic is a logic about action whose new development will introduce agent concept and occas-sion concept in this system;at the same time the negative concepts will have different understandings in the deontic system and some special action concepts in relation to the negative concepts will have some special meanings.

道义逻辑的经典系统是关于行动的逻辑。这种逻辑发展的新思路是在其系统中引入主体和场合概念；同时对正规逻辑的否定概念在道义系统中作了不同的理解；和否定概念相关的一些特殊的行动概念在行动逻辑中有其特定的意义。

When appling paraconsistent logic to alethic modal logic,we get a deontic logic system which avoids the ...

当将弗协调逻辑运用于真值模态逻辑时，可得到一避免了善良的撒玛利亚人悖论的道义逻辑系统，于是我们可得出结论：道义逻辑可归约为弗协调真值模态逻辑

The monists maintain that some content of traditional logic, dialectical logic and induction should be excluded from the field of logic, and that traditional logic should be replaced by modern logic in logic teaching.

在传统与现代之争中，不再有人对传统逻辑持诸如&传统逻辑不是逻辑&的观点，对传统逻辑加以批评的学者都是从其不科学、不严密、包含有非逻辑的内容等方面入手。

A walking stick ＝a stick for walking=a stick which is used for walking a washing machine=a machine for washing=a machine which is used for washing a reading room=a room for reading=a room which is used for reading a measuring tape=a tape for measuring=a tape which is used for measuring sleeping pills=pills for sleeping=pills which is used for sleeping

二、动名词的逻辑主语带有逻辑主语的动名词称为动名词的复合结构。当动名词的逻辑主语与句子的主语不一致时，要在动名词之前加上物主代词或名词所有格，这便构成了动名词的复合结构。其中物主代词是逻辑上的主语，动名词是逻辑上的谓语。动名词复合结构在句中可作主语、宾语、表语等，分别相当于一个主语从句、宾语从句、表语从句。

A walking stick =a stick for walking=a stick which is used for walking a washing machine=a machine for washing=a machine which is used for washing a reading room=a room for reading=a room which is used for reading a measuring tape=a tape for measuring=a tape which is used for measu ring sleeping pills=pills for sleeping=pills which is used for sleeping.

二 ， 动名词的逻辑主语带有逻辑主语的动名词称为动名词的复合结构。当动名词的逻辑主语与句子的主语不一致时，要在动名词之前加上物主代词或名词所有格，这便构成了动名词的复合结构。其中物主代词是逻辑上的主语，动名词是逻辑上的谓语。动名词复合结构在句中可作主语，宾语，表语等，分别相当于一个主语从句，宾语从句，表语从句。

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.

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

The so-called Chinese Logic refers to ancient Chinese Logic. In other words, it is the traditional Chinese Logic which was not influenced from the western Logic composed mainly by Aristotelian Logic.

所谓中国逻辑，指&中国古代逻辑&，换句话说，就是指以亚里士多德逻辑为传统的西方逻辑传入中国之前的，未受其影响的中国传统逻辑。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。