查询词典 propositional logic

In the view of logic, reasoning is the use of knowledge and logic deduction.

从逻辑的角度来看，对知识的利用就是推理，就是逻辑演绎。

Frege's thought of philosophy of logic is the theoretical support ofhis thought system.A new logical system created by Frege is the support of his thoughtof philosophy of logic.As a tool of proof and a deductive method,it is used not only tosolve the mathematical problems but also used as a tool to remould philosophy.

弗雷格的逻辑哲学思想是他的思想体系的理论支撑，他创造的一种新的逻辑体系是其逻辑哲学思想的支撑，作为论证工具、推论方法，不仅去解决数学问题，又把它作为改造哲学的有力工具。

A quantified logic of clarity and vagueness is developed, based on the pattern of the G delian system T of modal logic, a clarity operator replacing the necessity operator.

基于哥德尔模式的模态逻辑系统T，本文提出了一种关于清晰性和模糊性的量化逻辑，其中利用清晰性算子来代替必然性算子。

She thinks it impossible for Russell to deoxidize mathematics to logic because he couldn't derive arithmetic from purely logic laws. In this meaning, we can say that Russell's trying is failed.

认为罗素的数学逻辑主义因为没有实现从纯逻辑出发、将数学化归为逻辑的目标，因而是失败的。

If the differential input voltage Vab is greater than +200 mV the RECEIVER will have a specific LOGIC state on its OUTPUT terminal. If the input voltage is reversed to less than -200 mV the RECEIVER will create the opposite LOGIC state on its OUTPUT terminal.

如果有差分输入电压Vab 大于+200 mV，接收器的输出端将有一个明确的逻辑状态，反过来，如果输入电压小于-200 mV，接收器的输出端将产生相反逻辑状态。

Careful logic thinking ability, logic thinking structure and treat to the thing dispassion with analytical skill.?

缜密的逻辑思维能力、逻辑思维架构及对事物冷静看待和分析能力。

I am trying to use Chinese language to finish the doctorial disquisition of the logic form of the Tibetan logic.

经国内外因明学家的不懈努力，因明研究已步入了一个新的历史阶段。

Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.

任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。

ERCCL uses capacitance coupling to perform a logic function, so it can energy-efficiently implement a high fan-in complex logic in a single gate.

ERCCL利用电容耦合进行逻辑求值，因此可以在一个门中低能耗地实现高扇入、高复杂度的逻辑。

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

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

Panorama Many people are dancing in a large sitting room.

在一个大客厅里，许多人在跳舞。

We fully understand how a microwave oven cooks food, it is first necessary to talk ...

我们充分理解一个微波炉煮的食物，这是首先要谈。。。