论文部分内容阅读
数理邏輯的主要內容数理邏輯的內容是非常丰富的,要在一篇短文內介紹其主要內容是非常困难的,遺漏不但无法避免,甚至于可能是掛一漏万的。下面的介紹是根据比較流行的說法再結合作者的理解而立諭的。数理邏輯的主要內容可以分作四大部分。第一部分可以叫做数理邏輯本論。又分两部分,純演算与应用演算。純演算部分主要是命題演算(在其中每一命題不加以分析,从而只討論“非”“或者”“并且”“如果…則…”等命題联結詞的性貭)以及謂詞演算(在其中把每一命題分析成主語及謂語两部分,主語又叫做个体,而
The main content of the mathematical logic The content of the mathematical logic is very rich. It is very difficult to introduce its main content in a short text. The omissions can not only be avoided, but may even be linked to one million. The following introduction is based on the more popular argument and combined with the author’s understanding. The main content of mathematical logic can be divided into four major parts. The first part can be called the theory of mathematical logic. It is divided into two parts, pure calculus and application calculus. The pure calculation part is mainly the propositional calculus (in which each proposition is not analyzed, so that only the discussion of “non-” “or” “and” “if ... then ...” and other predicate conjunctions (and the predicate calculus) (in which Each proposition is analyzed into two parts: the subject and the predicate. The subject is also called the individual.