查询词典 statement logic

This agent still points out, huang Jing's name did not allude in Hua Shuo's statement, it is Zhou Chengyu begins ballyhoo to acclaim after was released from prison 2008, in just making the reader thinks Huang Jing is statement namely " Long Saisai ", and just mention expressly in Hua Shuo's statement " be suspected of blackmail ", because this does not have static to fizzling out reputation,cause any harm.

该代理人还指出，华硕的声明中并未提及黄静的名字，是周成宇在2008年出狱后开始大肆宣传炒作，才使读者认为黄静即是声明中的&龙思思&，而且华硕的声明中只是写明&涉嫌敲诈勒索&，因此并没有对黄静的名誉造成任何伤害。

That statement is probably the most truthful statement in the whole movie. It is the type of statement that people use to keep themselves busy working away to pay bills.

这句话在整部电影里可能是最实在的一句话，这句话道出了人们总是为生计而忙碌工作的原因。

If D has a void return type and the body of L is a statement block, when each parameter of L is given the type of the corresponding parameter in D, the body of L is a valid statement block in which no return statement specifies an expression.

如果D有void返回类型并且L的体是语句块，当L的每个参数类型是被给定为相应的D参数的类型时，L的体是一个没有返回语句的有效语句块。

If D has a non-void return type and the body of L is a statement block, when each parameter of L is given the type of the corresponding parameter in D, the body of L is a valid statement block with a non-reachable end point in which each return statement specifies an expression that is implicitly convertible to the return type of D.

如果D有non-void返回值并且L的体是一个语句块，当L的每个参数类型是被给定的相应于D参数的类型时，L的体是一个有效的语句块，语句块中有不可到达(non-reachable)的终点(译者：是否应该为&没有不可到达的终点&)，且每个终点的返回语句指明一个可以隐式转换到D返回类型的表达式。

I have received this statement last week. This statement is signed by the managing director of Chopard Hong Kong, i will upload this signed statement on Monday.

我上周已经收到，这份申明是经由萧邦表HK公司的董事总经理签署，周一我会将扫描的电子文件版本上传上来。

The statement of only one of the parties; an account given by one party only; a one-sided statement; one party's version of an event; one side of the matter ; onesided statement; one-sided story

成语单方面的言辞；即某一个方面的意见。例句处理同志之间的争执；不能单凭～；要认真听取双方的意见。

The context started from the properties of the logic algebra which based onResiduated lattic, studied the relationships between all kind of logic algebras andits corresponding logic systems.

本文便从研究建立在剩余格之上的各种逻辑代数的性质入手，研究了各种逻辑代数，以及与其相应的逻辑系统之间的关系。

His main contribution is the first in mathematical logic, his departure from mathematical logic, the logic of established Atomism and a new realism, he became the founder of modern philosophy of one.

他的主要贡献首先是在数理逻辑方面，他由数理逻辑出发，建立起来的逻辑原子论和新实在论，使他成为现代分析哲学的创始人之一。

The course contains four sections as follows: mathematical logic (including basic concepts of propositional logic and predicate logic, propositional calculuses and inference theories), set theory (including set algebras, relations, functions and cardinal numbers), algebraic structure (including algebraic systems, semigroups and groups, rings and fields, lattices and Boolean algebras), graph theory (including basic concepts of graph, Euler graphs and Hamiltonian graphs, trees, planar graphs and coloring graphs, some special vertex subsets and edge subsets).

本课程包含四部分内容：数理逻辑（包含命题逻辑与一阶逻辑的基本概念、等值演算以及推理理论），集合论（包含集合代数、二元关系、函数和基数），代数结构（包含代数系统、半群与群、环与域、格与布尔代数），图论（包含图的基本概念、欧拉图与哈密顿图、树、平面图及图的着色、图的某些特殊的顶点子集与边子集）。

The theory of compound propositions inference, The theory of categorical proposition inference, The modal logic, Foundational laws of logic ,The theory of inductive logic ,The theory of proof and refutation.

主要有：概念的理论，命题的理论，复合命题推理，直言命题推理，模态逻辑，逻辑规律和归纳推理。

For the head-teacher of the class said that I had seriously broken the school rules,which led me to a three-day suspend class.

为什么呢？因为我的班主任说我严重的违反了校规，于是让我停课三天。

Many of them believe that the conversion of thousands of working-class folk in England spared that nation from the mass carnage and the tyranny that came with the revolution in France.

他们之中有许多人相信，在英国数以千计的劳工阶级之悔改信主使英国免於遭受如法国大革命所造成的大屠杀和专制暴政。