查询词典 propositional logic

This text will first introduce you one branch of symbolic logic,what is generally called sentential,or propositional,logic.

本课首先将向你介绍符号逻辑的一个分支，即通常认为成为的句子逻辑或命题逻辑。

Two-valued logic with elements "0","1" is well-known to everyone and it provides the implementations for studying propositional logic and logical networks.

包含"0"，"1"两个元素的布尔代数已为人们所熟知，它给命题演算和对逻辑网络的研究提供了很好的工具。

By employing the theory of ∑Γ－fuzzy truth degree, the concepts of Γ-pseudometric on F was proposed in the propositional logic system Ln. The results obtained can complement and enhance the original theory of metrology of logic, and can give a new frame for fuzzy reasoning study.

特别地证明了真度关系：τΓ+τΓ≤1+τΓ，并利用这一关系在模糊命题演算系统Ln中的公式集F上引入相对于有限理论的Γ-伪距离，从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques. We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure. This reduction is linear in the number of states, size of transition relations, and number of atomic propositional formulae in the new formed model compared with those in the original model. It does not increase the comple...

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

At the basic of knowledge implication propositional logic, a system of knowledge implicational model prepositional logic system has been built. It can describe inference mechanism of inconsistent knowledge system which includes in modal information.

在知识蕴涵命题逻辑的基础上，构建了一个知识蕴涵模态命题逻辑系统，它可以描述包含模态信息的不协调知识系统的推理机制。

And a new mechanism is provided to store the data of OWL in relational database, the hierarchy structures of classes and properties defined in the OWL are also kept through views of the database system. 2、 Proposed a new method of using Finite State Machine and execution tag tree to describe the excution logic of existing grid service and the goal service specified by users, using Deterministic Propositional Dynamic Logic and FSM to determine the composable of goal service and make the composition plan. The computation complex is also discussed 3、 Designed some algorithms to compose existing grid services according to user requirement.

同时提出了一种新的机制，使用关系型数据库来存储OWL定义的实体，使用视图表示OWL中定义的类之间和属性之间的层次关系； 2、提出了使用有限状态自动机和执行标记树，表示网格系统中存在的网格服务和代表用户需求的目标服务的执行概要和逻辑，结合确定性动态命题逻辑，研究了目标服务的可组合性和自动组合模型，并讨论了组合模型的计算复杂度； 3、设计了一种根据用户需求来组合已存在的网格服务的算法。

The content of this course includes: fundamentals of logic algebra analysis and design of the combinational logic circuit and sequence circuit common applications of the combinational logic circuit and sequence circuit programmable logic devices Hardware Design Description Language A/D (Analog/Digital) and D/A conversion.

课程的主要内容有：逻辑代数基础、组合逻辑电路及时序电路分析与设计、常用中规模组合逻辑及时序逻辑电路应用、可编程逻辑器件、硬件设计描述语言VHDL、数模、模数转换等。

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数字逻辑技术的最新发展是我们大学老师数字逻辑的课件，非常不错

Wang-type fuzzy logic system and its functional approximation ability are researched deeply, A class of Gauss-type fuzzy logic system is presented and studied What it defers from Wang-type fuzzy logic system is its using Gauss fuzzifier The analytical expression of this fuzzy logic system is derived detailed Its universal approximation theorem for nonlinear functions is proved by StoneWeiestrass theorem.

通过对两类模糊系统作为非线性辨识器的仿真研究显示出高斯型模糊逻辑系统在抗数据干扰方面比Wang型模糊系统有优势。对非线性动态系统的辨识问题，借助递归神经网络的研究成果，提出一种基于递归网络结构的自适应模糊逻辑系统和参数学习算法。

Great emphasis is put on the logic imagery movement in the process of visual thinking through relating the visual thinking theory of Arnheim's.They are as follows:the logic of choosing images,the logic of organizing images and the logic of distilling images.

通过对阿恩海姆的视觉思维理论的解读，着重诠释视觉思维过程中的意象运动逻辑："自上而下"的意象选择逻辑、"补足"与"重构"的意象组织逻辑、"抽象"和"概括"的意象升华逻辑。

We stopped by the old fashion ice cream parlor Manhattan Beach Creamery for some refreshment. The "No Shoes, No Shirt, No Problem" sign on the wall epitomizes the beach lifestyle.

我们去商店区的一家老式冰淇淋店坐坐，墙上挂著「没鞋，没上衣，没问题」的牌子完全捕捉了海滩生活的随性及风格。

"If therefore", argues Bellarmine we can offer our prayers and our satisfactions in behalf of those detained in purgatory, because we are members of the great body of Christ, why may not the Vicar of Christ apply to the same souls the superabundant satisfaction of Christ and his saints--of which he is the dispenser?

" "因此，如果"，认为贝拉明（德indulgentiis ，十四）"我们可以提供我们的祈祷和我们满意的代表那些被拘留在炼狱，因为我们是成员的伟大基督的奥体，为什麼可能不是牧师基督适用於同样的灵魂满意的过剩是耶稣和他的圣人-他是在配药？