数理逻辑

By comparing and researching law of excluded middle of form logic and mathematical logic from quantity and quality of aspect,to unify and generalize law of excluded middle,This paper presents united law of excluded middle-general law of excluded middle,and provides its mathematics expression.

作者通过对形式逻辑和数理逻辑中的排中律从量和质的方面进行了比较和探讨，将排中律进行统一和推广，提出了统一的排中律———广义排中律，并给出了相应的数学表示。

1970 British philosopher and mathematical logician, one of the founders of analytic philosophy, social activists and the most erudite of contemporary thinkers.

英国哲学家，数理逻辑学家，分析哲学的创始人之一，社会活动家和当代最为博学的思想家。

Basing on this, this article deeply analyzes the relations between implication and the connective "If, then" used in ordinary logical thinking, and points out that material implication is scientific abstract generation to the ordinary language "If, then". Their sameness lies in: when a conditionals protasis is true and its consequent is false, material implication equation is false.

在此基础上，论文深入地分析了蕴涵与人们极易混淆的日常逻辑思维中的"如果，则"的关系，指出实质蕴涵作为数理逻辑中对日常语言"如果，则"的科学抽象地概括，二者的相同点在于：当前件真后件假时，充分条件假言判断为假，实质蕴涵式也为假。

This article discusses the track of the development of implication theory, generalizes B.Russell"s idea about implication,simply induces such implication theories as C.I.Lewis""strict implication" W.Ackermann"s "relevant implication" and so on, and analyzes the relations among these theories, emphasizes that material implication"s basic status in mathematical logic.

论文还从历史发展的角度阐述了蕴涵理论发展的轨迹，总结了罗素对蕴涵问题的认识，简要归纳了刘易斯的"严格蕴涵"、阿克曼等的"相干蕴涵"及安德森和贝尔纳普的"衍涵"等为代表的蕴涵理论的几种形态，并对这几种理论形态之间的关系进行了细致地对照，强调了实质蕴涵在数理逻辑中的基础地位。

Basing on this, this article deeply analyzes the relations between implication and the connective "If, then" used in ordinary logical thinking, and points out that material implication is scientific abstract generation to the ordinary language "If, then". Their sameness lies in: when a conditional's protasis is true and its consequent is false, material implication equation is false.

在此基础上，论文深入地分析了蕴涵与人们极易混淆的日常逻辑思维中的"如果，则"的关系，指出实质蕴涵作为数理逻辑中对日常语言"如果，则"的科学抽象地概括，二者的相同点在于：当前件真后件假时，充分条件假言判断为假，实质蕴涵式也为假。

I don't understand the complicated mathematical logic calculation.

我不明白这复杂的数理逻辑运算。

This is on the aspects of mathematical logic tutorial, I hope everyone can be useful.

详细说明：这是关于数理逻辑方面的教程，希望能够对大家有用。

Not only is he the founder of mathematical logic, but also the founder of the philosophy of language and analysis.

他不仅是数理逻辑的奠基人，也是语言和分析哲学的奠基人。

A detailed description of the mathematical logic of the content of this course, want to think about it a friend help.

详细说明：详细描述了数理逻辑这门课程的内容，希望对想了解这方面的朋友有所帮助。

His work was not significantly improved upon until the invention of modern mathematical logic in the late nineteenth century.

他的工作没有明显改善之前，发明了现代数理逻辑在十九世纪末期。

I'm strongly against the death penalty — it's an eye for an eye.

我不赞成死刑——这是以牙还牙的报复行为。

And to get you the support you need, we're enlisting all elements of our national power: our diplomacy and development, our economic might and our moral suasion, so that you and the rest of our military do not bear the burden of our security alone.

并给你们所须的支援，我们正徵召国家所有各种的力量：我们的外交及发展，我们的经济力量与道德劝说，所以你们与其他军人不须要孤独地负起国家安全的责任。