Examples of using Logics in English and their translations into Chinese
{-}
-
Political
-
Ecclesiastic
-
Programming
Millennial workers don't merely nod and do as they are told by the manager, unless they see and understand the logics behind the decision.
千禧一代的员工不仅仅再是点头答应，按照吩咐去做，除非他们看到并理解了这个决定背后的逻辑。Activities in this Activity Pack don't have special logics for handling potential exceptions.
该ActivityPack中的Activity对处理潜在的异常没有特殊的逻辑。A logic allowing such a self-support of beliefs is called not strongly grounded to differentiate them from strongly grounded logics, in which self-support is not possible.
允许这种信仰的自支持的逻辑叫做非强根基的，区别于在其中自支持是不可能的强根基的逻辑。Zeman(1964) was the first to note that straightforward emendations of the gamma graph rules yield the well-known modal logics S4 and S5.
Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher logics. .
命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators.
我们提出了无切割标记的后续结石，用于代理逻辑中的中心形式：带有时间算子的STIT逻辑。Another important extension was for modal and other logics that need more than just the basic judgment of truth.
另一个重要扩展是模态和其他不只需要基本的真理判断的逻辑。For the most part, it's humans who are Remade, for cruelty or expediency, or opaque logics.
在大多数情况下,这是人类重塑,残忍或者权宜之计,或不透明的逻辑。Frame conditions for some of the systems were simplified: the logics are complete with respect to the frame classes given in the table, but they may correspond to a larger class of frames.
对于其中一些的框架条件是简化了的:逻辑关于在表中给出的框架类是完备的，但是它们可能对应于更大的一类框架。Different versions of axiomatic propositional logics contain a few axioms, usually three or more than three, in addition to one or more inference rules.
不同版本的公理化命题逻辑都包含一些公理，通常是三个或多于三个，除了一个或更多的推理规则之外。It is vital to know which modal logics are sound and complete with respect to a class of Kripke frames, and for them, to determine which class it is.
所以知道哪个模态逻辑关于哪类Kripke框架是可靠的和完备的，并为它们确定这种类是关键性的。Unlike dynamic logic and other modal logics of programs, for which programs and propositions form two distinct sorts, action algebra combines the two into a single sort.
不像程序的动态逻辑和其他模态逻辑，对于它们程序和命题形成了两个不同的类别，作用代数合并了二者为一个单一类别。In such logics,(P or~P) may be true while P and~P are not assigned opposite truth-values like true and false, respectively.
在这种逻辑中，(P或非P（¬P）)可以为真，而P和¬P不被分别指派为对立的真值。Both deductive and analogous logics are enlightening and empowering- but analogies drawn from the Biblical narratives move us on a deeper level.
推理和类比的逻辑都具有启发性，也都给人以力量--但从圣经叙述内容而来的类比则会让我们进入更深的层次。Silicon Valley's Nara Logics is demonstrating how this might happen by combining programming with neuroscience to enable its machine learning platforms to make human-like decisions.
硅谷的NaraLogics正在证明如何实现这一点，他们将编程与神经科学相结合，使机器学习平台有能力作出类似人类的决策。Why don't they ever teach LOGIC in these schools?"?
为什么他们不教逻辑在这些学校吗?You're expecting LOGIC from these people?
你认为这些人的逻辑吗?Once again I tried to use LOGIC!
我再次呼吁逻辑!This is what we call“LOGIC”.
这就叫做“逻辑”。No logic, just luck.
