众所周知，在古典逻辑中，逆否对称性是永真公式。
As we know, contrapositive symmetry is the tautology in classical logic.
排中律是思维的基本规律之一，它构成古典逻辑中所有证明的基础。
The law of excluded middle is one of the basic laws of thought, which underlies all demonstrations in the classical logic.
提出了古典逻辑中的一些缺陷，分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。
While pointing out some defects of classical logic, the paper attributes them to substantial implication being directly applied to inference.
他在1808年将这些课程--古典学，历史，逻辑学，数学，物理学--编入法律条例。
That is a legacy of Napoleon, who codified the curriculum—classics, history, rhetoric, logic, maths and physics—by an imperial decree in 1808.
此一运动关注于整个古典体式的逻辑，而非古典复生主义倾向重新使用古典的成份。
The movement concerned itself with the logic of entire Classical volumes, unlike Classical revivalism, which tended to reuse Classical parts.
这迷人的逻辑商场古典完美结合的原则，并与宾果多彩球毁灭动力的游戏。
This fascinating logic arcade perfectly combines a principle classical Bingo and a dynamical gameplay with destruction of multi-coloured balls.
中国现代格律诗派关于新诗形式理论的构建，缘起于白璧德的新人文主义，隶属于新古典主义思潮，其间构成逻辑的因果关系。
Originated from Bai Bide's new humanism, the theoretical construction of new poem by the classical poem school in modern China belongs to the thought of new classicalism.
新制度经济学是运用新古典经济学的逻辑和方法来研究人、制度与经济活动以及它们之间的相互关系的经济学。
New institution economics is based on the study of people, system and economic activities and their relationship with the help of the logic and methods of neo-classical economy.
西方艺术从古典艺术到现代艺术再到后现代艺术的演变过程，是一种必然的逻辑结果。
Western arts go through from classic arts, modern arts to post-modern arts, which is the result of essentially logical process.
浪漫主义时期的作曲家喜爱单一的效果，强调和声的色彩性，逐渐远离了古典的音乐逻辑和宏大形式。
Most musician of Romantic genre would rather emphasize harmonic color and simplex impression than the logic or the form of classical music.
德国古典美学审美解放的理论有两个特点：一，它是基于对人的理性本质公设的逻辑结果；
The theory of Aesthetic Liberation in German classical aesthetics has two characteristics: first, it is a logic result on the basis of the postulated rational essence in human being;
在古典存在论(是论)中，真理异变为真知，逻各斯成为思“它是”(逻辑地说)，而存在则被做成是者。
In the classical ontology, aletheia changed into true knowledge, logos changed into contemplating "it is" (logically speaking), and physis changed into Being.
古典存在论可被视为真知-逻辑地说-是者的三方结构。
The key problem in the classical ontology is that in order to acquire episteme , what does Being have to be.
新古典经济学的理论逻辑前提实质上是个人占有主义的物质利益论，它也难以解释众多经济事实。
The theoretical logic presupposition of neoclassic economics is essentially materialistic beneficial doctrine which can not also explain numerous economic facts.
古典文学所追求的叙述方式往往是一个从克服障碍到实现目标的过程。这其实和任何一场单独的比赛或者体育项目的逻辑是一致的。
The classic quest narrative—in which an individual overcomes obstacles to achieve a goal—could be a template for any single match or sporting career.
凯恩斯的边际分析法为新古典的总生产函数的引进以及资产选择理论提供了逻辑基础。
The neoclassical aggregate production function and the portfolio approach are based on the marginal analysis method that Keynes used.
新古典经济学在成本的论述上，并没有坚持机会成本观，与其“个人选择”的逻辑起点冲突。
In the discussion of the cost view, neoclassical economics does not insist on the opportunity cost, which contradicts the logic of individual choice.
新古典经济学在成本的论述上，并没有坚持机会成本观，与其“个人选择”的逻辑起点冲突。
In the discussion of the cost view, neoclassical economics does not insist on the opportunity cost, which contradicts the logic of individual choice.
应用推荐