数理逻輯的簡单介紹(續) |
| |
引用本文: | 莫紹揆.数理逻輯的簡单介紹(續)[J].数学通报,1964(3). |
| |
作者姓名: | 莫紹揆 |
| |
作者单位: | 南京大学数学系 |
| |
摘 要: | 数理邏輯的主要內容数理邏輯的內容是非常丰富的,要在一篇短文內介紹其主要內容是非常困难的,遺漏不但无法避免,甚至于可能是掛一漏万的。下面的介紹是根据比較流行的說法再結合作者的理解而立諭的。数理邏輯的主要內容可以分作四大部分。第一部分可以叫做数理邏輯本論。又分两部分,純演算与应用演算。純演算部分主要是命題演算(在其中每一命題不加以分析,从而只討論“非”“或者”“并且”“如果…則…”等命題联結詞的性貭)以及謂詞演算(在其中把每一命題分析成主語及謂語两部分,主語又叫做个体,而
|
本文献已被 CNKI 等数据库收录! |
|