查询词典 classical logic

While demonstration is the thinking manner of formal logic, argumentation is that of informal logic.

证明是一种形式逻辑的思维方式，论证是一种非形式逻辑的思维方式。

Kinds of dialectical logic and formal logic will be completely in opposition to the attitude is wrong.

那种将辩证逻辑与形式逻辑对立起来的态度是错误的。

However, it is important for you to realize that these questions do not rely on any kind of formal logic, nor do they require that you be familiar with specific terms of logic or argumentation.

然而，请你一定要认识到，这些问题并不依靠任何一种正式的逻辑，也不需要你去研究具体的逻辑或辩论方面的术语。

Studies on the tautologies in some lattice valued logic systems and formula computation by means of neural net works.(1) Tautologies play a significant role in logic applications.

二、一类格值逻辑系统中的重言式和逻辑公式的神经网络计算 1、重言式在逻辑系统的应用中起着重要的作用。

Optical logic gates and full adder are essential elements performing logic and arithmetic operations in optical digital computing systems.

光学逻辑门与全加器是数字光计算系统进行逻辑操作及算术运算的基本元件。

It is based on an one column full adder in function; there introduces the special carry chain in the parallel and the vertical directions in order to accord the flexible carry needed by the data channel, it can be confected into different working mode, and realizes the compound logic and the sequence logic.

它在功能上基于一位全加器；在水平和垂直方向中都加入了专用进位链以满足数据通路所需的灵活进位，可配制为不同的工作模式，分别实现组合逻辑和时序逻辑。

ELNF calculus is a functional/logic calculus system which based on LNF calculus by extending it to include logic programming ability.

ELNF演算的解释技术金海，李智勇，张运桢，阳富民，银海（华中理工大学计算机系，武汉430074）摘要ELNF演算是我们在LNF演算的基础上扩充逻辑程序设计能力而得到的一种函数／逻辑演算系统，它构成了作者设计的函数／逻辑语言RFUNLOG的基础。

In the form of mathematical logic and related branches, functional predicate or function symbol is applied to an object key and generate another object entry logic symbols.

在形式逻辑和相关的数学分支中，泛函谓词或函数符号是应用于一个对象项而生成另一个对象项的逻辑符号。

In this paper, the formal definitions of a general logic topology structure and its fundamental features are givern firstly, and then an algorithm of broadcasts without message tags is proposed based on the general logic topology structure.

文中首先给出了逻辑拓扑结构的形式定义及基本性质，提出了一个基于一般逻辑拓扑结构的无消息标志广播通信算法。

A real time optical logic processor is presented, that can perform binary logic operations in parallel. Experimental result is given of the system as a half adder.

本文提出了一种能实时完成二进制逻辑运算的光学并行处理系统，并给出了作为半加法器的实验结果。

Yet, Edith says, there was always money in the bank.

但是Edith说，她的银行户口里面总是有钱。

We have created a series of files that resolve this problem--one for each day of the 40 days of purpose.

我们制作一系列的档案去解决这问题---一个为标竿40天中的每一天。