logic system的例句大全

Discussing about the Completeness Proof of Normal Modal Propositional Logic System

关于正规模态命题逻辑系统的完全性证明

This result can be used to prove the completeness theorems of first order logic system and the universal refutation method proposed by us.

这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。

The Hardware Description Language and the Design of a Logic System

硬件描述语言（HDL）与逻辑系统设计

Many-sorted propositional dynamic logic system based on parallel processing environment

基于并行处理环境的多类命题动态逻辑系统

Make an explanation of private Key logic system, hierarchy structure, system performance and system deployment.

对密钥系统逻辑和层次结构、系统性能和部署作了说明。

This short paper gives a new proof for the theorem(→ψ) nV(ψ→) in the basic logic system BL.

本文给出基本逻辑系统BL中定理（φ→ψ）~nV（φ→ψ）~n的一种新的证明。

The extended fuzzy description logic introduces the cut sets of fuzzy concepts and fuzzy roles as atomic concepts and atomic roles, and inherits the concept constructors and knowledge base form of classical description logics to support a new logic system for knowledge representation.

扩展模糊描述逻辑引入模糊概念和模糊关系的截集形式作为原子概念和原子关系，继承经典描述逻辑中的概念构造器和知识库形式，建立新的知识表示逻辑体系。

Disturbance compensation problem is solved by an adaptive fuzzy logic system.

通过自适应模糊控制解决了扰动补偿问题。

Short consistency degrees of finite theories in propositional fuzzy logic system

命题模糊逻辑系统中有限理论的弱相容度

Stochastic Study in Lukasiewicz's Ternary Logic System

Lukasiewicz三值逻辑系统中的随机化研究

Lattice symmetric ternary logic system and its simplification

格对称三值逻辑系统及其化简

An Induced Algebra on a Kind of Algebras and Generalized Kleene-dienes Ternary Logic System

一类代数上的诱导代数及广义Kleene-Dienes三值系统

A binary-working/ ternary-testing ( B/ T for short) self-testing system is a special ternary logic system.

二值工作三值检测（简称为B/T）自校验系统是一种特殊的三值逻辑系统。

Application of truth matrix to analyze a logic circuit is intuitive and simple, and the results may lead to the derivation of some identical relations of certain symmetrical ternary logic system.

应用真值矩阵分析逻辑电路具有直观、简便的优点，并可由其运算结果导出一些对称三值逻辑运算的恒等式。

A new CMOS three& valued logic system is discussed. Some CMOS three-valued logic unit circuits are designed.

本文探讨了一种新的CMOS三值逻辑系统，建立了一套完备的CMOS三值逻辑基本单元电路。

Topological Characterizations of Properties of Logic Theories in Three-Valued Propositional Logic System L_3

三值命题逻辑系统L3~中逻辑理论性态的拓扑刻画拓扑描绘字，拓扑描述符

Generalized H-valuation in Logic System UL

逻辑系统UL的广义H-赋值

Patent claims interpretation is not a disorderly, but a logic system.

专利权利要求解释并不是杂乱无章的，而是一个系统的逻辑体系。

A Three-Value Logic System TL with the Capability of Non-monotonic Reasoning

具有非单调推理能力的三值逻辑系统TL

At the last, discussed the relations of the tautology between Lukasiewicz many valued logic system and classical two valued system.

最后讨论了Lukasiewicz多值逻辑系统与经典二值逻辑系统中重言式之间的关系。